Martín Abadi, Andrew D. Gordon  Home/Search
Context Related
| microsoft.com/~adg/Research...cccs97.ps microsoft.com/users/adg/Res...cccs97.ps upenn.edu/~bcpierc...adispiintro.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 Problem Downloading? 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: We introduce the spi calculus, an extension of the pi calculus designed for the description and analysis of cryptographic protocols. We show how to use the spi calculus, particularly for studying authentication protocols. The pi calculus (without extension) suffices for some abstract protocols; the spi calculus enables us to consider cryptographic issues in more detail. We represent protocols as processes in the spi calculus and state their security properties in terms of coarse-grained notions ... (Update)
Cited by: More
A Comparison between Strand Spaces and Multiset.. - Cervesato, Durgin.. (2002) (Correct)
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
A Concurrent Logical Framework II: - Examples And Applications (Correct)
Similar documents (at the sentence level):
58.7%: A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1998) (Correct)
Active bibliography (related documents): More All
0.2: Reasoning about Cryptographic Protocols in the Spi Calculus - Abadi, Gordon (1997) (Correct)
0.1: A Bisimulation Method for Cryptographic Protocols - Abadi, Gordon (1998) (Correct)
0.1: The Spi-Calculus and a Bisimulation Method - Raymond (1999) (Correct)
Similar documents based on text: More All
0.5: Commentary - Robert Whaley Duke (Correct)
0.5: New Directions in Implementing the Pi Calculus - Wischik (2002) (Correct)
0.5: Costs and Benefits of Software Process Improvement - Emam, Briand (1997) (Correct)
Related documents from co-citation: More All
42: Information and Computation (context) - Milner, Parrow et al. - 1992
30: Mobile ambients - Cardelli, Gordon - 1998
26: Breaking and fixing the Needham-Schroeder public-key protocol using FDR - Lowe - 1996
BibTeX entry: (Update)
M. Abadi and A. D. Gordon. A calculus for cryptographic protocols: The spi calculus. In Proceedings of the Fourth ACM Conference on Computer and Communications Security, pages 36--47, 1997. http://citeseer.ist.psu.edu/article/abadi97calculus.html More
@inproceedings{ abadi97calculus,
author = "Mart{\'\i}n Abadi and Andrew D. Gordon",
title = "A Calculus for Cryptographic Protocols: The Spi Calculus",
booktitle = "Fourth {ACM} Conference on Computer and Communications Security",
publisher = "{ACM} Press",
pages = "36--47",
year = "1997",
url = "citeseer.ist.psu.edu/article/abadi97calculus.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985 ACM DBLP
1529 A method for obtaining digital signatures and public-key cry.. - Rivest, Shamir et al. - 1978 ACM DBLP
854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
450 Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978 ACM DBLP
447 Prentice-Hall International (context) - Milner, Concurrency - 1989
428 IEEE Transactions on Information Theory (context) - Diffie, Hellman et al. - 1976
322 Breaking and fixing the NeedhamSchroeder public-key protocol.. - Lowe - 1996
302 A logic of authentication - Burrows, Abadi et al. - 1989
276 Applied Cryptography: Protocols (context) - Schneier - 1994
253 Authentication in distributed systems: Theory and practice - Lampson, Abadi et al. - 1992
171 Prudent engineering practice for cryptographic protocols - Abadi, Needham - 1996 ACM DBLP
168 Testing equivalences for processes (context) - De Nicola, Hennessy - 1984
162 A calculus for access control in distributed systems - Abadi, Burrows et al. - 1993
130 Provably secure session key distribution: The three party ca.. - Bellare, Rogaway - 1995 DBLP
98 Security properties and CSP - Schneider - 1996
97 the security of public key protocols (context) - Dolev, Yao - 1981
97 Mathematical Structures in Computer Science (context) - Milner, processes - 1992
89 The Interrogator: Protocol security analysis (context) - Millen, Clark et al. - 1987
69 Applying formal methods to the analysis of a key management .. - Meadows - 1992
54 Testing equivalence for mobile processes (context) - Boreale, De Nicola - 1995
52 The chemical abstract machine (context) - Berry, Boudol - 1990
47 Analyzing encryption protocols using formal verification tec.. (context) - Kemmerer - 1989
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
6 On two proposals for on-line bankcard payments using open ne.. - Mao - 1996
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
Reasoning about Cryptographic Protocols in 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