Martn Abadi -labs.com Bell Labs Research Lucent...  Home/Search
Context Related
| microsoft.com/~fou...elabstractions.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: microsoft.com/~fournet/biblio (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. (Update)
Cited by: More
Reconciling Two Views of Cryptography - The Computational Soundness (Correct)
Secure Composition of Insecure Components - Peter Sewell Computer (Correct)
Secure Composition of Untrusted Code: Wrappers and Causality.. - Sewell, Vitek (1999) (Correct)
Similar documents (at the sentence level):
38.2%: Secure Implementation of Channel Abstractions - Abadi, Fournet (1999) (Correct)
6.7%: Secure Communications Processing for Distributed Languages - Abadi, Fournet, Gonthier (1998) (Correct)
Active bibliography (related documents): More All
0.5: Security Protocols and their Properties - Abadi (2000) (Correct)
0.5: Security Protocols and Specifications - Abadi (1999) (Correct)
0.5: Authentication Primitives and Their Compilation - Abadi, Fournet, Gonthier (2000) (Correct)
Similar documents based on text: More All
0.5: The Join Calculus: A Language for Distributed Mobile Programming - Fournet, Gonthier (2000) (Correct)
0.4: Mobile Values, New Names, and Secure Communication - Abadi, Fournet (2001) (Correct)
0.4: A Hierarchy of Equivalences for Asynchronous Calculi - Fournet, Gonthier (2003) (Correct)
Related documents from co-citation: More All
13: Information and Computation (context) - Milner, Parrow et al. - 1992
11: A calculus of mobile agents - Fournet, Gonthier et al. - 1996
10: Secure composition of insecure components - Sewell, Vitek - 1999
BibTeX entry: (Update)
Mart'in Abadi, C'edric Fournet, and Georges Gonthier. Secure implementation of channel abstractions. In LICS 98 (Indiana), pages 105--116. IEEE, Computer Society Press, July 1998. http://citeseer.ist.psu.edu/article/abadi98secure.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/abadi98secure.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 - edric, Georges et al. - 1996
265 Proof of correctness of data representations (context) - Hoare - 1972
254 Theoretical Computer Science (context) - erard, erard 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
149 calculus: a tutorial (context) - Milner - 1993
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
97 Mathematical Structures in Computer Science (context) - Milner, processes - 1992
81 Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978
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) - edric - 1998
30 A calculus for cryptographic protocols: The spi calculus (context) - Abadi, Gordon - 1999
26 Codes and Cryptography (context) - Die, van Oorschot et al. - 1992
24 a la ML for the join-calculus (context) - edric, Cosimo et al. - 1997
21 IEEE Computer Society (context) - Computer, Workshop - 1997
19 Divergence and fair testing - Natarajan, Cleaveland - 1995
19 A hierarchy of equivalences for asynchronous calculi (context) - edric, Georges - 1998
19 Secure implementation of channel abstractions - Abadi, edric et al. - 1998
16 Bisimulations in the join-calculus - Boreale, edric et al. - 1998
16 Secure communications processing for distributed languages - Abadi, edric et al. - 1999
15 Proving trust in systems of second-order processes (context) - Dam - 1998
13 The re exive chemical abstract machine and the join-calculus (context) - edric, Georges - 1996
13 The problem of \weak bisimulation up to (context) - Sangiorgi, Milner - 1992
11 Secure network objects - van Doorn, Abadi et al. - 1996
11 A general theory of composition for a class of \possibilisti.. (context) - McLean - 1996
10 Protection in programming-language translations (context) - Abadi - 1998
10 RFC 1508: Generic security service application program inter.. (context) - Linn - 1993
9 Design and implementation of modular key management protocol.. - Cheng, Garay et al. - 1995
9 Source distribution and documentation available from http: /.. (context) - edric, Luc et al. - 1997
8 Generic interface to security services (context) - Linn - 1994
6 A top-down look at a secure message - Abadi, edric et al. - 1999
5 A distributed object model for the Java system (context) - Wollrath, Riggs et al. - 1996
5 Computer Networks and ISDN Systems (context) - Abadi, Birrell et al. - 1998
5 The AltaVista tunnel: Using the Internet to extend corporate.. - Alden, Wobber - 1997
5 Web page httpjava (context) - Inc, Web et al. - 1997
4 and Walter Vogler (context) - Brinksma, Rensink - 1995
4 and surrounding infrastructure (context) - McDonald, Phan et al. - 1996
http://www.microsoft.com/
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.research.microsoft.com/~fournet/biblio.htm): More
From Stack Inspection to Access Control: - Security Analysis For (Correct)
Inheritance in the Join Calculus - Fournet, Laneve, Maranget.. (2001) (Correct)
A Hierarchy of Equivalences for Asynchronous Calculi - Fournet, Gonthier (2003) (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