|
6
|
A Method for Examining Cryptographic Protocols
– Brett C. Tjaden
- 1997
|
|
24
|
Formal Methods for the Analysis of Authentication Protocols
– Aviel D. Rubin, Peter Honeyman
- 1993
|
|
131
|
A Semantic Model for Authentication Protocols
– Thomas Y. C. Woo, Simon S. Lam
- 1993
|
|
19
|
Security Protocols over open networks and distributed systems: Formal methods for their Analysis, Design, and Verification
– Stefanos Gritzalis, Diomidis Spinellis, Panagiotis Georgiadis
- 1999
|
|
4
|
The Spi Calculus
– Martín Abadi, Andrew D. Gordon, Martín Abadi, Andrew D. Gordon
- 1997
|
|
|
Review of the state of the art (in Security and Dependability Monitoring and Recovery)
– G. Spanoudakis, C. Kloukinas, T. Tsigritis, K. Androutsopoulos, C. Ballas, Domenico Presenza
- 2006
|
|
2
|
An automatic approach for building secure systems
– Xiaodong Dawn Song
- 2002
|
|
6
|
Formal Methods in the Design of Cryptographic Protocols (state of the Art)
– Levente Buttyan
- 1999
|
|
48
|
Reasoning about Cryptographic Protocols in the Spi Calculus
– Martín Abadi, Andrew D. Gordon
- 1997
|
|
91
|
Formal Verification of Cryptographic Protocols: A Survey
– Catherine A. Meadows
- 1995
|
|
89
|
Some New Attacks upon Security Protocols
– Gavin Lowe
- 1996
|
|
18
|
Verifying Authentication Protocols: Methodology and Example
– Thomas Woo, Thomas Y. C, Woo Simon, Simon S. Lam
- 1993
|
|
26
|
A HOL Extension of GNY for Automatically Analyzing Cryptographic Protocols
– Stephen H. Brackin
- 1996
|
|
4
|
Using Weakest Preconditions To Evaluate Cryptographic Protocols
– Alec Yasinsac, William A. Wulf
- 1996
|
|
1
|
A Framework For A Cryptographic Protocol Evaluation Workbench
– Alec Yasinsac, William A. Wulf
- 1999
|
|
2
|
Cryptographic Protocols over Open Distributed Systems: A Taxonomy of Flaws and related Protocol Analysis Tools
– S. Gritzalis, D. Spinellis, Sena Sa
- 1997
|
|
27
|
The Logic of Authentication Protocols
– Paul Syverson, Iliano Cervesato
- 2001
|
|
13
|
Using CSP for protocol analysis: the Needham-Schroeder Public-Key Protocol
– Steve Schneider, Royal Holloway
- 1996
|
|
21
|
Security Protocols and Specifications
– Martín Abadi
- 1999
|
