Martín Abadi, Bruno Blanchet  Home/Search
Context Related
| ucsc.edu/~abadi/Pa...ypingattacker2.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) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We develop a typed process calculus for security protocols in which types convey secrecy properties. We focus on asymmetric communication primitives, especially on public-key encryption. These present special difficulties, partly because they rely on related capabilities (e.g., "public" and "private" keys) with different levels of secrecy and scopes. (Update)
Cited by: More
Computationally Sound Secrecy Proofs by Mechanized Flow Analysis - Backes, Laud (2006) (Correct)
Authenticity by Typing for Security Protocols - Andrew Gordon Microsoft (2001) (Correct)
A Calculus for Cryptographic Protocols - Lecture Notes Andrew (Correct)
Similar documents (at the sentence level):
58.3%: Secrecy Types for Asymmetric Communication - Abadi, Blanchet (2001) (Correct)
Active bibliography (related documents): More All
0.5: An Efficient Cryptographic Protocol Verifier Based on Logic.. - Blanchet (2001) (Correct)
0.4: From Secrecy to Authenticity in Security Protocols - Blanchet (2002) (Correct)
0.3: A Security-Property Language for Self-Certified Code - Bernard (1999) (Correct)
Similar documents based on text: More All
0.7: Analyzing Security Protocols with Secrecy Types and Logic.. - Abadi, Blanchet (2002) (Correct)
0.5: Computer-Assisted Verification of a Protocol for Certified Email - Abadi, Blanchet (2003) (Correct)
0.3: Verification of Cryptographic Protocols: Tagging Enforces.. - Blanchet, Podelski (Correct)
Related documents from co-citation: More All
21: Secrecy by typing in security protocols - Abadi - 1997
18: A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1997
13: Breaking and fixing the Needham-Schroeder public-key protocol using FDR - Lowe - 1996
BibTeX entry: (Update)
M. Abadi and B. Blanchet. Secrecy types for asymmetric communication. In Foundations of Software Science and Computation Structures, 2001. To appear. http://citeseer.ist.psu.edu/article/abadi01secrecy.html More
@article{ abadi01secrecy,
author = "Mart{\'\i}n Abadi and Bruno Blanchet",
title = "Secrecy Types for Asymmetric Communication",
journal = "Lecture Notes in Computer Science",
volume = "2030",
pages = "25+",
year = "2001",
url = "citeseer.ist.psu.edu/article/abadi01secrecy.html" }
Citations (may not include all citations):1065 Handbook of Applied Cryptography (context) - Menezes, van Oorschot et al. - 1996
854 Information and Computation (context) - Milner, Parrow et al. - 1992
404 Journal of Computer and System Sciences (context) - Goldwasser, Micali - 1984
263 The inductive approach to verifying cryptographic protocols - Paulson - 1998
121 Three systems for cryptographic protocol analysis (context) - Kemmerer, Meadows et al. - 1994
104 A meta-notation for protocol analysis - Cervesato, Durgin et al. - 1999
102 Robustness principles for public key protocols - Anderson, Needham - 1995
85 The SLam calculus: programming with secrecy and integrity - Heintze, Riecke - 1998
81 Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978
75 Trust and partial typing in open systems of mobile agents - Riely, Hennessy - 1999
62 Breaking and xing the Needham-Schroeder public-key protocol .. - Lowe - 1996
60 On asynchrony in name-passing calculi - Merro, Sangiorgi - 1998
54 Authenticity by typing for security protocols - Gordon, Je - 2001
51 Cryptography and Data Security (context) - Denning - 1982
46 Secrecy and group creation - Cardelli, Ghelli et al. - 2000
37 resource access in the asynchronous pi-calculus (context) - Hennessy, Riely et al. - 2000
33 Analyzing security protocols with secrecy types and logic pr.. - Abadi, Blanchet - 2002
30 A calculus for cryptographic protocols: The spi calculus (context) - Abadi, Gordon - 1999
27 A sound type system for secure ow analysis (context) - Volpano, Irvine et al. - 1996
26 Prudent engineering practice for cryptographic protocols (context) - Abadi, Needham - 1996
25 Protocol speci cation and analysis in Maude (context) - Denker, Meseguer et al. - 1998
24 Secrecy by typing in security protocols (context) - Abadi - 1999
23 Protocol-independent secrecy - Millen, Ruess - 2000
20 Security Issues (context) - Bodei - 2000
20 Security protocols and their properties - Abadi - 2000
15 An ecient cryptographic protocol veri er based on Prolog rul.. (context) - Blanchet - 2001
14 Software Practice and Experience (context) - Birrell, Nelson et al. - 1995
13 The re exive chemical abstract machine and the join-calculus (context) - edric, Georges - 1996
12 Secure information ow as typed process behaviour (context) - Honda, Vasconcelos et al. - 2000
9 A decentralized model for information ow control (context) - Myers, Liskov - 1997
8 Information ow inference for free (context) - cois, Sylvain - 2000
7 JFlow: Practical mostly-static information ow control (context) - Myers - 1999
6 Control ow analysis for the -calculus (context) - Bodei, Degano et al. - 1998
6 Towards an automatic analysis of security protocols in rst-o.. (context) - Weidenbach - 1999
5 A semantic approach to secure information ow (context) - Rustan, Leino et al. - 1998
3 A new algorithm for the automatic veri cation of authenticat.. (context) - Debbabi, Mejri et al. - 1997
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