Martín Abadi, Andrew D. Gordon  Home/Search
Context Related
Links: ACM DBLP | microsoft.com/~adg/Resear...concur97.ps upenn.edu/~bcpierc...dispiconcur.ps.gz microsoft.com/~adg/Pub...concur97.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: microsoft.com/~adg/Rese...default (more) From: upenn.edu/~bcpierce/cour...papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . The spi calculus is an extension of the pi calculus with constructs for encryption and decryption. This paper develops the theory of the spi calculus, focusing on techniques for establishing testing equivalence, and applying these techniques to the proof of authenticity and secrecy properties of cryptographic protocols. 1 From Cryptography to Testing Equivalence The idea of controlling communication by capabilities underlies both the pi calculus and much of the current work on security in... (Update)
Cited by: More
Relating Multiset Rewriting and Process - Algebras For Security (Correct)
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1998) (Correct)
Secrecy by Typing in Security Protocols - Abadi (1998) (Correct)
Similar documents (at the sentence level):
7.5%: A Bisimulation Method for Cryptographic Protocols - Abadi, Gordon (1998) (Correct)
Active bibliography (related documents): More All
0.1: Security Protocols over open networks and.. - Gritzalis.. (1999) (Correct)
0.1: Security Protocols and their Properties - Abadi (2000) (Correct)
0.1: A Method for Examining Cryptographic Protocols - Tjaden (1997) (Correct)
Similar documents based on text: More All
0.5: Commentary - Robert Whaley Duke (Correct)
0.3: On Bisimulations for the Spi Calculus - Johannes Borgstrom And (2002) (Correct)
0.3: Authenticity by Typing for Security Protocols - Gordon, Jeffrey (2001) (Correct)
Related documents from co-citation: More All
32: Information and Computation (context) - Milner, Parrow et al. - 1992
29: A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1997
18: Verifying authentication protocols in CSP (context) - Schneider - 1998
BibTeX entry: (Update)
M. Abadi and A. D. Gordon. Reasoning about cryptographic protocols in the spi calculus. In CONCUR'97: Concurrency Theory, volume 1243 of Lecture Notes in Computer Science, pages 59--73. Springer-Verlag, 1997. http://citeseer.ist.psu.edu/abadi97reasoning.html More
@inproceedings{ abadi97reasoning,
author = "Mart{\'\i}n Abadi and Andrew D. Gordon",
title = "Reasoning about cryptographic protocols in the spi calculus",
booktitle = "{CONCUR'97}: Concurrency Theory",
volume = "1243",
publisher = "Springer-Verlag, Berlin Germany",
pages = "59--73",
year = "1997",
url = "citeseer.ist.psu.edu/abadi97reasoning.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
447 Prentice-Hall International (context) - Milner, Concurrency - 1989
404 A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1997 DBLP
404 A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1997 DBLP
322 Breaking and fixing the Needham-Schroeder public-key protoco.. - Lowe - 1996 ACM DBLP
302 A logic of authentication - Burrows, Abadi et al. - 1989 ACM DBLP
276 Applied Cryptography: Protocols (context) - Schneier - 1996
254 Theoretical Computer Science (context) - Berry, Boudol et al. - 1992 ACM
171 Prudent engineering practice for cryptographic protocols - Abadi, Needham - 1996 ACM DBLP
168 Testing equivalences for processes (context) - De Nicola, Hennessy - 1984 DBLP
98 Security properties and CSP - Schneider - 1996 ACM
97 Mathematical Structures in Computer Science (context) - Milner, processes - 1992
89 The Interrogator: Protocol security analysis (context) - Millen, Clark et al. - 1987 ACM DBLP
69 Applying formal methods to the analysis of a key management .. - Meadows - 1992 DBLP
54 Testing equivalence for mobile processes (context) - Boreale, De Nicola - 1995 ACM DBLP
47 Analyzing encryption protocols using formal verification tec.. (context) - Kemmerer - 1989 DBLP
33 Using temporal logic to specify and verify cryptographic pro.. - Gray, McLean - 1995 ACM DBLP
28 National Bureau of Standards - standard, Inform et al. - 1977
25 Authentication in distributed systems: A bibliography (context) - Liebl - 1993 DBLP
23 The Interrogator model (context) - Millen - 1995 ACM
11 Undergraduate lecture notes (context) - Milner - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.research.microsoft.com/~adg/Research/Spi/default.htm): More
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1997) (Correct)
A Bisimulation Method for Cryptographic Protocols - Abadi, Gordon (1998) (Correct)
Secrecy by Typing in Security Protocols - Abadi (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC