Martín Abadi  Home/Search
Context Related
Links: ACM | para.inria.fr/~lefe...00011Aba97.ps.gz microsoft.com/users/adg/Res...tacs97.ps digital.com/pub/DEC/SRC/p...typessv.ps 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: para.inria.fr/~lefessan/b...publi (more) From: microsoft.com/users/adg...default Homepages: M.Abadi |
Rate this article:      (best)Comment on this article |
Abstract: . We develop principles and rules for achieving secrecy properties in security protocols. Our approach is based on traditional classification techniques, and extends those techniques to handle concurrent processes that use shared-key cryptography. The rules have the form of typing rules for a basic concurrent language with cryptographic primitives, the spi calculus. They guarantee that, if a protocol typechecks, then it does not leak its secret inputs. 1 Introduction Security is an elusive... (Update)
Cited by: More
Secure Composition of Insecure Components - Sewell, Vitek (1999) (Correct)
Computationally Sound Secrecy Proofs by Mechanized Flow Analysis - Backes, Laud (2006) (Correct)
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1998) (Correct)
Similar documents (at the sentence level):
54.4%: Secrecy by Typing in Security Protocols - Abadi (1998) (Correct)
Active bibliography (related documents): More All
0.2: Security Protocols and their Properties - Abadi (2000) (Correct)
0.2: Security Protocols and Specifications - Abadi (1999) (Correct)
0.1: Formal, Informal, and Null Methods - Abadi (1997) (Correct)
Similar documents based on text: More All
0.2: Secrecy Types for Asymmetric Communication - Abadi, Blanchet (2001) (Correct)
0.2: Formalization and Proof of Secrecy Properties - Volpano (1999) (Correct)
0.1: A Bisimulation Method for Cryptographic Protocols - Abadi, Gordon (1998) (Correct)
Related documents from co-citation: More All
51: A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1997
34: Information and Computation (context) - Milner, Parrow et al. - 1992
33: The SLam calculus: Programming with secrecy and integrity - Heintze, Riecke - 1998
BibTeX entry: (Update)
M. Abadi. Secrecy by typing in security protocols. In Proceedings of Theoretical Aspects of Computer Software, Third International Symposioum, LNCS 1281, pages 611--638. Springer-Verlag, 1997. http://citeseer.ist.psu.edu/article/abadi97secrecy.html More
@article{ abadi99secrecy,
author = "Mart{\'\i}n Abadi",
title = "Secrecy by Typing in Security Protocols",
journal = "{Journal of the ACM}",
volume = "46",
number = "5",
pages = "749--786",
year = "1999",
url = "citeseer.ist.psu.edu/article/abadi97secrecy.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
746 The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1996
566 Proof-carrying code - Necula - 1997
450 Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978 ACM DBLP
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
302 A logic of authentication - Burrows, Abadi et al. - 1989
276 Applied Cryptography: Protocols (context) - Schneier - 1996
244 Cryptography and Data Security (context) - Denning - 1982 ACM DBLP
171 Prudent engineering practice for cryptographic protocols - Abadi, Needham - 1996 ACM DBLP
168 Testing equivalences for processes (context) - De Nicola, Hennessy - 1984 DBLP
152 A sound type system for secure flow analysis - Volpano, Smith et al. - 1996
130 Provably secure session key distribution: The three party ca.. - Bellare, Rogaway - 1995 DBLP
116 Mathematical Structures in Computer Science (context) - Pierce, Sangiorgi et al. - 1996
54 Testing equivalence for mobile processes (context) - Boreale, De Nicola - 1995
48 Reasoning about cryptographic protocols in the spi calculus - Abadi, Gordon - 1997 ACM DBLP
28 National Bureau of Standards - standard, Inform et al. - 1977
6 Van Nostrand Reinhold Company Inc (context) - Gasser, Computer - 1988
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://para.inria.fr/~lefessan/biblio/publi.html): More
An Implementation of Complete, Asynchronous.. - Le Fessant, Piumarta, .. (1998) (Correct)
Modelling IP Mobility - Amadio, Prasad (1998) (Correct)
Cyclic Distributed Garbage Collection with Group Merger - Rodrigues, Jones (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