Martín Abadi, Andrew D. Gordon  Home/Search
Context Related
| upenn.edu/~bcpierc...badispilong.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: upenn.edu/~bcpierce/cour...papers (more) Homepages: M.Abadi |
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 coarsegrained 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):
28.5%: A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1997) (Correct)
Active bibliography (related documents): More All
0.3: 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: Secrecy by Typing in Security Protocols - Abadi (1998) (Correct)
Similar documents based on text: More All
0.6: Commentary - Robert Whaley Duke (Correct)
0.5: New Directions in Implementing the Pi Calculus - Wischik (2002) (Correct)
0.4: Towards Automatic Bisimilarity Checking in the Spi Calculus - Elkjćr, Höhle, Nielsen.. (1999) (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 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 - 1994
253 Authentication in distributed systems: Theory and practice - Lampson, Abadi et al. - 1992 DBLP
248 Expressing Mobility (context) - Sangiorgi - 1992
197 Barbed bisimulation - Milner, Sangiorgi - 1992 ACM DBLP
171 Prudent engineering practice for cryptographic protocols - Abadi, Needham - 1996
168 Testing equivalences for processes (context) - De Nicola, Hennessy - 1984 DBLP
162 A calculus for access control in distributed systems - Abadi, Burrows et al. - 1993 ACM DBLP
130 Provably secure session key distribution: The three party ca.. - Bellare, Rogaway - 1995 DBLP
112 Bisimilarity as a theory of functional programming (context) - Gordon - 1995 ACM DBLP
98 Security properties and CSP - Schneider - 1996 ACM
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 ACM DBLP
69 Applying formal methods to the analysis of a key management .. - Meadows - 1992
54 Testing equivalence for mobile processes (context) - Boreale, De Nicola - 1995 ACM DBLP
52 The chemical abstract machine (context) - Berry, Boudol - 1990
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
23 The Interrogator model (context) - Millen - 1995
11 Undergraduate lecture notes (context) - Milner - 1995
7 Laboratory for Foundations of Computer Science (context) - Sangiorgi, bisimulation et al. - 1994
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.cis.upenn.edu/~bcpierce/courses/629/papers.html): More
Decentralized Trust Management - Blaze, Feigenbaum, Lacy (1996) (Correct)
Network Objects - Birrell, Nelson, Owicki, Wobber (1995) (Correct)
Formulating Mobile Languages - Sekiguchi, Yonezawa (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