Martín Abadi, Bruno Blanchet  Home/Search
Context Related
| ucsc.edu/~abadi/Papers/popl2002.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 From: ucsc.edu/~abadi/allpapers (more) Homepages: M.Abadi |
Rate this article:      (best)Comment on this article |
Abstract: We study and further develop two language-based techniques for analyzing security protocols. One is based on a typed process calculus; the other, on untyped logic programs. Both focus on secrecy properties. We contribute to these two techniques, in particular by extending the former with a flexible, generic treatment of many cryptographic operations. We also establish an equivalence between the two techniques. (Update)
Cited by: More
Relating Multiset Rewriting and Process - Algebras For Security (Correct)
Representing the MSR Cryptoprotocol Specification Language.. - Cervesato, Stehr (2005) (Correct)
Logics for Authorizations and Security - Piero Bonatti And (2003) (Correct)
Active bibliography (related documents): More All
0.4: An Efficient Cryptographic Protocol Verifier Based on Logic.. - Blanchet (2001) (Correct)
0.3: Security Protocols and their Properties - Abadi (2000) (Correct)
0.3: Security Protocols and Specifications - Abadi (1999) (Correct)
Similar documents based on text: More All
0.7: Secrecy Types for Asymmetric Communication - Abadi, Blanchet (2001) (Correct)
0.5: Computer-Assisted Verification of a Protocol for Certified Email - Abadi, Blanchet (2003) (Correct)
0.4: From Secrecy to Authenticity in Security Protocols - Blanchet (2002) (Correct)
Related documents from co-citation: More All
20: Authenticity by typing for security protocols - Gordon, Jeffrey - 2001
16: IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
16: A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1997
BibTeX entry: (Update)
M. Abadi, B. Blanchet. Analyzing Security Protocols with Secrecy Types and Logic Programs. In Conf. Rec. of POPL'02, 2002. http://citeseer.ist.psu.edu/abadi02analyzing.html More
@inproceedings{ abadi02analyzing,
author = "Martin Abadi and Bruno Blanchet",
title = "Analyzing security protocols with secrecy types and logic programs",
booktitle = "Symposium on Principles of Programming Languages",
pages = "33--44",
year = "2002",
url = "citeseer.ist.psu.edu/abadi02analyzing.html" }
Citations (may not include all citations):450 Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978
404 A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1999
322 Breaking and fixing the Needham-Schroeder public-key protoco.. - Lowe - 1996
263 The inductive approach to verifying cryptographic protocols - Paulson - 1998
158 Secrecy by typing in security protocols - Abadi - 1999
152 A sound type system for secure flow analysis - Volpano, Irvine et al. - 1996
121 Three systems for cryptographic protocol analysis (context) - Kemmerer, Meadows et al. - 1994
121 A core calculus of dependency - Abadi, Banerjee et al. - 1999
114 A probabilistic poly-time framework for protocol analysis - Lincoln, Mitchell et al. - 1998
104 A meta-notation for protocol analysis - Cervesato, Durgin et al. - 1999
102 The SLam calculus: programming with secrecy and integrity - Heintze, Riecke - 1998
98 JFlow: Practical mostly-static information flow control - Myers - 1999
54 Authenticity by typing for security protocols - Gordon, Je - 2001
51 SKEME: A versatile secure key exchange mechanism for interne.. - Krawczyk - 1996
50 the reachability problem in cryptographic protocols - Amadio, Lugiez - 2000
49 Secure information flow as typed process behaviour - Honda, Vasconcelos et al. - 2000
46 Secrecy and group creation - Cardelli, Ghelli et al. - 2000
45 Communicating and Mobile Systems: the Pi-Calculus (context) - Milner - 1999
43 The compositional security checker: A tool for the verificat.. - Focardi, Gorrieri - 1997
41 i and C. Fournet. Mobile values, new names, and secure commu.. (context) - Abad - 2001
37 resource access in the asynchronous pi-calculus (context) - Hennessy, Riely et al. - 2000
32 Protocol specification and analysis in Maude - Denker, Meseguer et al. - 1998
25 Secrecy types for asymmetric communication - Abadi, Blanchet - 2001
24 Control flow analysis for the #-calculus (context) - Bodei, Degano et al. - 1998
24 Protection in programming languages (context) - Morris - 1973
24 A compositional logic for protocol correctness - Durgin, Mitchell et al. - 2001
20 Security protocols and their properties - Abadi - 2000
20 Security Issues (context) - Bodei - 2000
18 CVS: A compiler for the analysis of cryptographic protocols - Durante, Focardi et al. - 1999
15 Proving trust in systems of second-order processes (context) - Dam - 1998
9 cient cryptographic protocol verifier based on Prolog rules (context) - Blanchet - 2001
7 Towards an automatic analysis of security protocols in first.. - Weidenbach - 1999
7 Analysis of security protocols - Durgin, Mitchell - 1999
3 Panel on languages for formal specification of security prot.. (context) - Meadows - 1997
3 A new algorithm for the automatic verification of authentica.. (context) - Debbabi, Mejri et al. - 1997
1 Logical relations and encryption (context) - Sumii, Pierce - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cse.ucsc.edu/~abadi/allpapers.html): More
Private Authentication - Abadi (2002) (Correct)
Reconciling Two Views of Cryptography (The Computational.. - Abadi, Rogaway (2000) (Correct)
Certified Email with a Light On-line Trusted Third.. - Abadi, Glew, Horne.. (2002) (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