A calculus for cryptographic protocols: The spi calculus (1999)

by Martin Abadi , Andrew D. Gordon
Venue:Information and Computation
Citations:782 - 55 self

Active Bibliography

4 The Spi Calculus – Martín Abadi, Andrew D. Gordon, Martín Abadi, Andrew D. Gordon - 1997
40 Security Protocols and their Properties – Martín Abadi - 2000
51 Reasoning about Cryptographic Protocols in the Spi Calculus – Martín Abadi, Andrew D. Gordon - 1997
25 Security Protocols and Specifications – Martín Abadi - 1999
6 A Method for Examining Cryptographic Protocols – Brett C. Tjaden - 1997
20 Security Protocols over open networks and distributed systems: Formal methods for their Analysis, Design, and Verification – Stefanos Gritzalis, Diomidis Spinellis, Panagiotis Georgiadis - 1999
26 Formal Methods for the Analysis of Authentication Protocols – Aviel D. Rubin, Peter Honeyman - 1993
On the Modeling, Design, and Implementation . . . – Christoph Ludwig Schuba - 1997
7 Formal Methods in the Design of Cryptographic Protocols (state of the Art) – Levente Buttyan - 1999
45 An Approach to the Formal Verification of Cryptographic Protocols – Dominique Bolignano - 1996
333 Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption) – Martín Abadi, Phillip Rogaway - 2000
2 Taming the Adversary – Martín Abadi - 2000
245 Secrecy by Typing in Security Protocols – Martín Abadi - 1998
58 Model Checking for Security Protocols – Will Marrero , Edmund Clarke, Somesh Jha - 1997
61 Using State Space Exploration and a Natural Deduction Style Message Derivation Engine to Verify Security Protocols – E. M. Clarke, S. Jha, W. Marrero - 1998
2 An automatic approach for building secure systems – Xiaodong Dawn Song - 2002
unknown title – Levente Buttyan - 1999
Process Calculi and the Verification of Security Protocols – Michele Boreale, Daniele Gorla - 2002
2 Cryptographic Protocols over Open Distributed Systems: A Taxonomy of Flaws and related Protocol Analysis Tools – S. Gritzalis, D. Spinellis, Sena Sa - 1997