Keyword

security protocols

Description: Communication procedures designed to provide security functions such as authentication, confidentiality, or integrity, often using cryptographic techniques.

Primary topic: Advanced Authentication Protocols Security (27%)

Wikidata ID: wiki/Q1254335

OpenAlex ID: keywords/security-protocols

Cryptography and Network Security: Principles and Practice

1998 · William Stallings · 4,389

SPINS: Security Protocols for Sensor Networks

2002 · Adrian Perrig, Robert Szewczyk, et al. · Wireless Networks · 2,265

The security of vehicular ad hoc networks

2005 · Maxim Raya, Jean-Pierre Hubaux · 988

PDF

Mobile values, new names, and secure communication

2001 · Martín Abadi, Cédric Fournet · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 851

The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols

2008 · Cas J. F. Cremers · Lecture notes in computer science · 794

IoT Privacy and Security: Challenges and Solutions

2020 · Lo’ai Tawalbeh, Fadi Muheidat, et al. · Applied Sciences · 763

PDF

The TAMARIN Prover for the Symbolic Analysis of Security Protocols

2013 · Simon Meier, Benedikt Schmidt, et al. · Lecture notes in computer science · 680

A hierarchy of authentication specifications

2002 · G. Lowe · 630

OFMC: A symbolic model checker for security protocols

2004 · David Basin, Sebastian Mödersheim, et al. · International Journal of Information Security · 506

PDF

Survey on IoT security: Challenges and solution using machine learning, artificial intelligence and blockchain technology

2020 · Bhabendu Kumar Mohanta, Debasish Jena, et al. · Internet of Things · 488

Automated analysis of cryptographic protocols using Murφ

2002 · J.C. Mitchell, M. Mitchell, et al. · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · 476

Security in embedded systems

2004 · Srivaths Ravi, Anand Raghunathan, et al. · ACM Transactions on Embedded Computing Systems · 463

Formal Models for Computer Security

1981 · Carl E. Landwehr · ACM Computing Surveys · 444

A study of the energy consumption characteristics of cryptographic algorithms and security protocols

2006 · N.R. Potlapally, S. Ravi, et al. · IEEE Transactions on Mobile Computing · 427

Strand spaces: why is a security protocol correct?

2002 · F.J.T. Fabrega, J.C. Herzog, et al. · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · 393

Automated Verification of Selected Equivalences for Security Protocols

2006 · Bruno Blanchet, Martín Abadi, et al. · The Journal of Logic and Algebraic Programming · 346

Casper: A compiler for the analysis of security protocols

1998 · Gavin Lowe · Journal of Computer Security · 340

Secrecy by typing in security protocols

1999 · Martín Abadi · Journal of the ACM · 314

PDF

Scyther:semantics and verification of security protocols

2006 · Cremers, CJF (Cas) · TU/e Research Portal · 313

PDF

Verified Reference Implementations of WS-Security Protocols

2006 · Karthikeyan Bhargavan, Cédric Fournet, et al. · Lecture notes in computer science · 310

Casper: a compiler for the analysis of security protocols

2002 · G. Lowe · 305

MCMAS: A Model Checker for the Verification of Multi-Agent Systems

2009 · Alessio Lomuscio, Hongyang Qu, et al. · Lecture notes in computer science · 289

Proofs of Work and Bread Pudding Protocols(Extended Abstract)

1999 · Markus Jakobsson, Ari Juels · Springer eBooks · 284

Wireless Sensor Network Designs

2003 · Anna Hać · Wiley eBooks · 281

Privacy as a Service: Privacy-Aware Data Storage and Processing in Cloud Computing Architectures

2009 · Wassim Itani, Ayman Kayssi, et al. · IEEE International Conference on Dependable, Autonomic and Secure Computing · 276

Works count: 5,151

Citation count: 51,620