Martín Abadi, Cédric Fournet  Home/Search
Context Related
| belllabs.com/~aba...1abadifournet.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: belllabs.com/~abadi/allpapers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are the main motivating examples for our work; it also appears in other programming-language contexts. Specifically, we introduce a simple, general extension of the pi calculus with value passing, primitive functions, and equations among terms. We develop semantics and proof techniques for this extended language and apply them in... (Update)
Context of citations to this paper: More
...intend to carry the BNDC theory over more expressive process calculi, like, e.g. pi spicalculus [2] and Mobile Ambients [13] This would allow to compare it with new recent security properties proposed on such calculi and reminiscent of some Non Interference ideas (see, e.g. ##CITE##[37,...
Cited by: More
Advancing Assurance for Secure Distributed Communications - Bella, Bistarelli (2002) (Correct)
Classification of Security Properties (Part I: Information Flow) - Focardi, Gorrieri (Correct)
Active bibliography (related documents): More All
0.4: The Local Area π-Calculus - Chothia (2003) (Correct)
0.3: Generating Type Systems for Process Graphs - König (1999) (Correct)
0.3: Problem Areas for the IP Security Protocols - Bellovin (1996) (Correct)
Similar documents based on text: More All
0.5: Hiding Names: Private Authentication in the Applied Pi Calculus - Fournet, Abadi (2003) (Correct)
0.4: Secure Implementation of Channel Abstractions - Mart Abadi Abadi (1998) (Correct)
0.3: Just Fast Keying in the Pi Calculus - Abadi, Blanchet, Fournet (2003) (Correct)
Related documents from co-citation: More All
2: Secrecy by typing in security protocols - Abadi - 1997
BibTeX entry: (Update)
C. Fournet and M. Abadi. "Mobile Values, New Names, and Secure Communication ". In Proceedings of the 28th ACM Symposium on Principles of Programming Languages (POPL'01), pages 104--115, January 2001. http://citeseer.ist.psu.edu/fournet01mobile.html More
@misc{ fournet01mobile,
author = "C. Fournet and M. Abadi",
title = "Mobile Values, New Names, and Secure Communication",
text = "C. Fournet and M. Abadi. Mobile Values, New Names, and Secure Communication
. In Proceedings of the 28th ACM Symposium on Principles of Programming
Languages (POPL'01), pages 104--115, January 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/fournet01mobile.html" }
Citations (may not include all citations):1065 Handbook of Applied Cryptography (context) - Menezes, van Oorschot et al. - 1996
501 A digital signature scheme secure against adaptive chosen-me.. - Goldwasser, Micali et al. - 1988
404 Journal of Computer and System Sciences (context) - Goldwasser, Micali - 1984
339 Theory and applications of trapdoor functions (context) - Yao - 1982
317 IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
276 Applied Cryptography: Protocols (context) - Schneier - 1996
263 The inductive approach to verifying cryptographic protocols - Paulson - 1998
229 Foundations for Programming Languages (context) - Mitchell - 1996
202 International Series in Computer Science (context) - Milner, Concurrency - 1989
200 Pict: A programming language based on the pi-calculus - Pierce, Turner - 2000
188 Entity authentication and key distribution (context) - Bellare, Rogaway - 1993
184 Automated analysis of cryptographic protocols using Mur - Mitchell, Mitchell et al. - 1997
121 Three system for cryptographic protocol analysis (context) - Kemmerer, Meadows et al. - 1994
114 A probabilistic poly-time framework for protocol analysis - Lincoln, Mitchell et al. - 1998
98 Security properties and CSP - Schneider - 1996
91 The SSL protocol: Version (context) - Freier, Karlton et al. - 1996
90 Strand spaces: Why is a security protocol correct (context) - Thayer, abrega et al. - 1998
90 IEEE Transactions on Information Theory (context) - Die, Hellman et al. - 1976
76 The computational soundness of formal encryption (context) - Abadi, Rogaway et al. - 2000
62 Breaking and xing the NeedhamSchroeder public-key protocol u.. - Lowe - 1996
61 The Fusion Calculus: Expressiveness and Symmetry in Mobile P.. - orn - 1998
51 SKEME: A versatile secure key exchange mechanism for interne.. - Krawczyk - 1996
50 the reachability problem in cryptographic protocols - Amadio, Lugiez - 2000
44 Proof techniques for cryptographic processes - Boreale, De Nicola et al. - 1999
35 the bisimulation proof method - Sangiorgi - 1998
34 Jocaml: Mobile agents for Objective-Caml - Conchon, Le Fessant - 1999
26 Codes and Cryptography (context) - Die, van Oorschot et al. - 1992
24 Secrecy by typing in security protocols (context) - Abadi - 1999
24 Communicating and Mobile Systems: the -Calculus (context) - Milner - 1999
23 Authentication primitives and their compilation - Abadi, edric et al. - 2000
20 Security Issues (context) - Bodei - 2000
20 A hierarchy of equivalences for asynchronous calculi - edric, Georges - 1998
19 Secure implementation of channel abstractions - Abadi, edric et al. - 1998
15 Proving trust in systems of second-order processes (context) - Dam - 1998
14 Electronic Notes in Theoretical Computer Science (context) - Ptzmann, Schunter et al. - 2000
13 Type systems for distributed data structures - Liblit, Aiken - 2000
7 Mobility and security (context) - Cardelli - 2000
6 On message integrity in cryptographic protocols (context) - Stubblebine, Gligor - 1992
3 Control ow analysis for the pi-calculus (context) - Bodei, Degano et al. - 1998
1 ssh insertion attack (context) - SDI - 1998
Documents on the same site (http://pa.bell-labs.com/~abadi/allpapers.html): More
The Existence of Refinement Mappings - Abadi, Lamport (1988) (Correct)
Composing Specifications - Abadi, Lamport (1992) (Correct)
A Calculus for Access Control in Distributed Systems - Abadi, Burrows, Lampson.. (1991) (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