Martín Abadi, Cédric Fournet  Home/Search
Context Related
| pauillac.inria.fr/...plementation.ps.gz 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: pauillac.inria.fr/jocaml/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Communication in distributed systems often relies on useful abstractions such as channels, remote procedure calls, and remote method invocations. The implementations of these abstractions sometimes provide security properties, in particular through encryption. In this paper we study those security properties, focusing on channel abstractions. We introduce a simple high-level language that includes constructs for creating and using secure channels. The language is a variant of the join-calculus... (Update)
Cited by: More
Secure Composition of Insecure Components - Sewell, Vitek (1999) (Correct)
Secrecy by Typing in Security Protocols - Abadi (1998) (Correct)
Equational Properties of Mobile Ambients - Gordon, Cardelli (1999) (Correct)
Similar documents (at the sentence level):
54.0%: Secure Implementation of Channel Abstractions - Abadi, Fournet (2000) (Correct)
11.6%: Secure Communications Processing for Distributed Languages - Abadi, Fournet, Gonthier (1998) (Correct)
Active bibliography (related documents): More All
0.5: Implementation of multimedia systems based on a real-time.. - Fischer (Correct)
0.4: Authentication Primitives and Their Compilation - Abadi, Fournet, Gonthier (2000) (Correct)
0.4: Security Protocols and their Properties - Abadi (2000) (Correct)
Similar documents based on text: More All
0.3: Hiding Names: Private Authentication in the Applied Pi Calculus - Fournet, Abadi (2003) (Correct)
0.3: Ethernet Topology Discovery without Network Assistance - Black, Donnelly, Fournet (2004) (Correct)
0.2: The reflexive CHAM and the join-calculus - Fournet, Gonthier (1995) (Correct)
Related documents from co-citation: More All
27: Information and Computation (context) - Milner, Parrow et al. - 1992
26: A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1997
20: Protection in programming-language translations - Abadi - 1998
BibTeX entry: (Update)
M. Abadi, C. Fournet, and G. Gonthier. Secure implementation of channel abstractions. In Proceedings LICS'98, pages 105--116, 1998. http://citeseer.ist.psu.edu/article/abadi99secure.html More
@inproceedings{ abadi98secure,
author = "Mart{\'\i}n Abadi and C{\'e}dric Fournet and Georges Gonthier",
title = "Secure implementation of channel abstractions",
booktitle = "Thirteenth Annual {IEEE} Symposium on Logic in Computer Science",
pages = "105--116",
year = "1998",
url = "citeseer.ist.psu.edu/article/abadi99secure.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
265 Proof of correctness of data representations (context) - Hoare - 1972
254 Theoretical Computer Science (context) - Berry, Boudol et al. - 1992
253 Authentication in distributed systems: Theory and practice - Lampson, Abadi et al. - 1992
149 Testing equivalences for processes (context) - De Nicola, Hennessy - 1984
140 On reduction-based process semantics - Honda, Yoshida - 1995
121 A simple approach to specifying concurrent systems - Lamport - 1989
114 A probabilistic poly-time framework for protocol analysis - Lincoln, Mitchell et al. - 1998
113 A distributed object model for the Java system - Wollrath, Riggs et al. - 1996
97 Mathematical Structures in Computer Science (context) - Milner, processes - 1992
81 Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978
76 The polyadic -calculus: a tutorial - Milner - 1993
73 The reflexive chemical abstract machine and the join-calculu.. (context) - Fournet, Gonthier - 1996
64 Codes and Cryptography (context) - Diffie, van Oorschot et al. - 1992
61 weak bisimulation up to (context) - Sangiorgi, Milner et al. - 1992
52 Security models - McLean - 1994
43 Secure communication using remote procedure calls (context) - Birrell - 1985
38 The Join-Calculus: a Calculus for Distributed Mobile Program.. (context) - Fournet - 1998
30 A calculus for cryptographic protocols: The spi calculus (context) - Abadi, Gordon
26 possibilistic (context) - McLean, theory et al. - 1996
24 a la ML for the join-calculus (context) - Fournet, Laneve et al. - 1997
21 IEEE Computer Society (context) - Computer, Workshop - 1997
20 A hierarchy of equivalences for asynchronous calculi - Fournet, Gonthier - 1998
19 Divergence and fair testing - Natarajan, Cleaveland - 1995
19 Secure implementation of channel abstractions - Abadi, Fournet et al. - 1998
19 Secure implementation of channel abstractions - Abadi, Fournet et al.
16 Secure communications processing for distributed languages - Abadi, Fournet et al.
15 Proving trust in systems of second-order processes (context) - Dam - 1998
11 Secure network objects - van Doorn, Abadi et al.
11 Design and implementation of modular key management protocol.. (context) - Cheng, Garay et al. - 1995
10 Protection in programming-language translations (context) - Abadi - 1998
10 RFC 1508: Generic security service application program inter.. (context) - Linn - 1993
9 Source distribution and documentation available from http: /.. (context) - Fournet, Maranget et al. - 1997
8 Generic interface to security services (context) - Linn - 1994
5 Web page httpjava (context) - Inc, Web et al. - 1997
5 The AltaVista tunnel: Using the Internet to extend corporate.. - Alden, Wobber - 1997
4 and surrounding infrastructure (context) - McDonald, Phan et al. - 1996
4 and Walter Vogler (context) - Brinksma, Rensink - 1995
2 Computer Networks and ISDN Systems (context) - Abadi, Birrell et al. - 1998
http://www.microsoft.com/
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://pauillac.inria.fr/jocaml/):
Secure Implementation of Channel Abstractions - Abadi, Fournet, Gonthier (1998) (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