|
6
|
A Method for Examining Cryptographic Protocols
– Brett C. Tjaden
- 1997
|
|
27
|
The Logic of Authentication Protocols
– Paul Syverson, Iliano Cervesato
- 2001
|
|
6
|
Formal Methods in the Design of Cryptographic Protocols (state of the Art)
– Levente Buttyan
- 1999
|
|
44
|
A derivation system and compositional logic for security protocols
– Anupam Datta , Ante Derek , John C. Mitchell , Dusko Pavlovic
- 2005
|
|
89
|
Some New Attacks upon Security Protocols
– Gavin Lowe
- 1996
|
|
2
|
An automatic approach for building secure systems
– Xiaodong Dawn Song
- 2002
|
|
|
Introduction to Foundations of Security Protocols
– R. Ramanujam, S. P. Suresh
|
|
156
|
A Hierarchy of Authentication Specifications
– Gavin Lowe
- 1997
|
|
10
|
Protocol Composition Logic (PCL)
– Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy
- 2007
|
|
22
|
Security Goals: Packet Trajectories and Strand Spaces
– Joshua D. Guttman
|
|
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
|
Planning attacks to security protocols: Case studies in logic programming
– Luigia Carlucci Aiello, Fabio Massacci
- 2001
|
|
13
|
Lecture Notes on Cryptography
– Shafi Goldwasser, Mihir Bellare
- 2001
|
|
18
|
Analysis of Security Protocols
– Nancy A. Durgin , John C. Mitchell
- 1999
|
|
1
|
Security Models and Proofs for Key Establishment Protocols
– Eddie M. Ng, C○eddie M. Ng
|
|
39
|
Security Protocols and their Properties
– Martín Abadi
- 2000
|
|
53
|
Using State Space Exploration and a Natural Deduction Style Message Derivation Engine to Verify Security Protocols
– E. M. Clarke, S. Jha, W. Marrero
- 1998
|
|
37
|
A Cost-Based Framework for Analysis of Denial of Service in Networks
– Catherine Meadows
- 2000
|
|
30
|
Tripartite Authenticated Key Agreement Protocols from Pairings
– Sattam S. Al-Riyami, Kenneth G. Paterson
- 2002
|
