Get started
Keyword

protocol verification

Description: Formal analysis of a communication protocol to determine whether it satisfies specified correctness or security properties.
OpenAlex ID: keywords/protocol-verification
On Communicating Finite-State Machines
1983 · Daniel Brand, Pitro Zafiropulo · Journal of the ACM · 1,091
PDF
Bounded Model Checking
2003 · Armin Biere, Alessandro Cimatti, et al. · Advances in computers · 1,007
The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols
2008 · Cas J. F. Cremers · Lecture notes in computer science · 795
A hierarchy of authentication specifications
2002 · G. Lowe · 631
Strand spaces: proving security protocols correct
1999 · F. Javier Thayer Fábrega, Jonathan C. Herzog, et al. · Journal of Computer Security · 545
The directory-based cache coherence protocol for the DASH multiprocessor
1990 · Daniel Lenoski, James Laudon, et al. · ACM SIGARCH Computer Architecture News · 541
PDF
The NRL Protocol Analyzer: An Overview
1996 · Catherine Meadows · The Journal of Logic Programming · 459
PDF
Protocol verification as a hardware design aid
2003 · D.L. Dill, A.J. Drexler, et al. · IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD) · 400
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
Protocol specification, testing, and verification
1982 · Carl Sunshine · Computer Networks (1976) · 305
CADP a protocol validation and verification toolbox
1996 · Jean -Claude Fernandez, Hubert Garavel, et al. · Lecture notes in computer science · 291
Intrusion detection techniques and approaches
2002 · Theuns Verwoerd, Ray Hunt · Computer Communications · 280
The Temporal Rover and the ATG Rover
2000 · Doron Drusinsky · Lecture notes in computer science · 271
Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
2009 · Santiago Escobar, Catherine Meadows, et al. · Lecture notes in computer science · 228
Formal Methods in Communication Protocol Design
1980 · G. Bochmann, C. Sunshine · IRE Transactions on Communications Systems · 226
Protocol Verification via Projections
1984 · Simon S. Lam, A. Udaya Shankar · IEEE Transactions on Software Engineering · 220
Automatic verification of correspondences for security protocols
2009 · Bruno Blanchet · Journal of Computer Security · 219
PDF
Efficient generation of counterexamples and witnesses in symbolic model checking
1995 · E. M. Clarke, O. Grumberg, et al. · Proceedings - ACM IEEE Design Automation Conference · 219
The directory-based cache coherence protocol for the DASH multiprocessor
2002 · D. Lenoski, J. Laudon, et al. · Proceedings - International Symposium on Computer Architecture/Proceedings · 218
Mayday: Distributed Filtering for Internet Services
2018 · Andersen, David G. · Figshare · 217
PDF
Security properties and CSP
1995 · Steve Schneider, Royal Holloway · Surrey Research Insight Open Access (The University of Surrey) · 216
Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate
2017 · Karthikeyan Bhargavan, Bruno Blanchet, et al. · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · 206
Verifying authentication protocols in CSP
1998 · S. Schneider · IEEE Transactions on Software Engineering · 190
The ASM Refinement Method
2003 · Egon Börger · Formal Aspects of Computing · 186
PDF
A data transfer protocol
1976 · N.V. Stenning · Computer Networks (1976) · 176
Works count: 3,204
Citation count: 31,590
Year
Topic
Type