Martín Abadi, Cédric Fournet, Georges Gonthier  Home/Search
Context Related
| belllabs.com/~abadi/Pap...notesfst.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: In ongoing work, we are investigating the design of secure distributed implementations of high-level process calculi (in particular, of the join-calculus). We formulate implementations as translations to lower-level languages with cryptographic primitives. Cryptographic protocols are essential components of those translations. In this paper we discuss basic cryptographic protocols for transmitting a single datum from one site to another. We explain some sufficient correctness conditions for... (Update)
Context of citations to this paper: More
...supplementary formal definitions and proofs of our results. Parts of this work appear in preliminary form in three conference papers [3, 4, 5]. A fourth conference paper continues this work with a treatment of authentication primitives [5] 2 2 From the join calculus to the...
.... we use process equivalence techniques to reason about the preservation of secrecy and integrity properties of programs in this language [8, 4, 6, 5, 7]. In the next section we describe the ec calculus, an extension of the asynchronous pi calculus with cryptographic types. In...
Cited by: More
Relating Cryptography and Polymorphism - Benjamin Pierce Eijiro (2000) (Correct)
Secure Implementation of Channel Abstractions - Mart Abadi Abadi (1998) (Correct)
Cryptographic Types - Duggan (2002) (Correct)
Active bibliography (related documents): More All
0.3: Security Protocols and Specifications - Abadi (1999) (Correct)
0.3: Security Protocols and their Properties - Abadi (2000) (Correct)
0.3: Secure Communications Processing for Distributed Languages - Abadi, Fournet, Gonthier (1998) (Correct)
Similar documents based on text: More All
0.4: The Join Calculus: A Language for Distributed Mobile Programming - Fournet, Gonthier (2000) (Correct)
0.3: Hiding Names: Private Authentication in the Applied Pi Calculus - Fournet, Abadi (2003) (Correct)
0.2: A Hierarchy of Equivalences for Asynchronous Calculi - Fournet, Gonthier (2003) (Correct)
Related documents from co-citation: More All
5: A calculus of mobile agents - Fournet, Gonthier et al. - 1996
4: Abstract Types Have Existential Type (context) - Mitchell, Plotkin - 1988
4: Authentication primitives and their compilation - Abadi, edric et al. - 2000
BibTeX entry: (Update)
Martn Abadi, Cedric Fournet, and Georges Gonthier. A top-down look at a secure message. In Foundations of Software Technology and Theoretical Computer Science, volume 1738 of Lecture Notes in Computer Science, pages 122-141. Springer-Verlag, 1999. http://citeseer.ist.psu.edu/320779.html More
@inproceedings{ abadi99topdown,
author = "Martin Abadi and Cedric Fournet and Georges Gonthier",
title = "A Top-Down Look at a Secure Message",
booktitle = "Foundations of Software Technology and Theoretical Computer Science",
pages = "122-141",
year = "1999",
url = "citeseer.ist.psu.edu/320779.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
447 Prentice Hall International (context) - Milner, Concurrency - 1989
291 A calculus of mobile agents - Fournet, Gonthier et al. - 1996
168 Testing equivalences for processes (context) - De Nicola, Hennessy - 1984
120 A modular approach to the design and analysis of authenticat.. (context) - Bellare, Canetti et al. - 1998
114 A probabilistic poly-time framework for protocol analysis - Lincoln, Mitchell et al. - 1998
97 Mathematical Structures in Computer Science (context) - Milner, processes - 1992
91 The SSL protocol: Version (context) - Freier, Karlton et al. - 1996
73 The reflexive chemical abstract machine and the join-calculu.. (context) - Fournet, Gonthier - 1996
67 A hierarchy of authentication specifications - Lowe - 1997
61 weak bisimulation up to (context) - Sangiorgi, Milner et al. - 1992
56 SSH---Secure login connections over the Internet - Ylonen - 1996
54 Finite-state analysis of SSL - Mitchell, Shmatikov et al. - 1998
47 Inductive analysis of the Internet Protocol TLS - Paulson - 1999
46 Some new attacks upon security protocols - Lowe - 1996
46 Secure implementation of channel abstractions - Abadi, Fournet et al. - 1998
46 Secure implementation of channel abstractions - Abadi, Fournet et al.
43 Secure communication using remote procedure calls (context) - Birrell - 1985
38 What do we mean by entity authentication (context) - Gollmann - 1996
38 The Join-Calculus: a Calculus for Distributed Mobile Program.. (context) - Fournet - 1998
35 Analysis of the Internet Key Exchange protocol using the NRL.. - Meadows - 1999
29 Protection in programming-language translations - Abadi - 1998
27 Analysis of the SSL (context) - Wagner, Schneier - 1996
25 automaton models and proofs of shared-key communications sys.. (context) - Lynch - 1999
25 Intensional Specifications of Security Protocols - Roscoe - 1996
23 Implicit typing a la ML for the join-calculus - Fournet, Laneve et al. - 1997
23 Towards the formal verification of electronic commerce proto.. - Bolignano - 1997
16 Secure communications processing for distributed languages - Abadi, Fournet et al. - 1999
12 A formal specification of requirements for payment transacti.. - Meadows, Syverson - 1998
9 Source distribution and documentation available from http://.. (context) - Fournet, Maranget et al. - 1997
7 RFC 2409: The Internet Key Exchange (context) - Harkins, Carrel - 1998
1 Private communication (context) - Ylonen - 1999
The graph only includes citing articles where the year of publication is known.
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