Secure implementation of channel abstractions (abstract)

Electronic Notes in Theoretical Computer Science

Volumn 10, Issue , 1998, Pages 202-203

  Abadi, Martín ^a   Fournet, Cédric ^b   Gonthier, Georges ^b  

^a HEWLETT PACKARD COMPANY   (United States)

^b INRIA ROCQUENCOURT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; CRYPTOGRAPHY; NETWORK PROTOCOLS; THEOREM PROVING;

CHANNEL ABSTRACTIONS; CRYPTOGRAPHIC PROTOCOLS; PI-CALCULUS; REMOTE METHOD INVOCATIONS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 19144362255     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)82514-9     Document Type: Conference Paper

References (13)

1. M. Abadi and A. D. Gordon. A calculus for cryptographic protocols: The spi calculus. Technical Report 414, University of Cambridge Computer Laboratory, January 1997. Extended version of both [2] and [3]. A revised version appeared as Digital Equipment Corporation Systems Research Center report No. 149, January 1998, and an abridged version will appear in Information and Computation.
2. Abadi Martín, Gordon Andrew D. A calculus for cryptographic protocols: The spi calculus. In Proceedings of the Fourth ACM Conference on Computer and Communications Security. April 1997;36-47
3. Abadi Martín, Gordon Andrew D. Reasoning about cryptographic protocols in the spi calculus. Mazurkiewicz Antoni, Winkowski Jòzef. Proceedings of the 8th International Conference on Concurrency Theory, volume 1243 of Lecture Notes in Computer Science. July 1997;59-73 Springer-Verlag
4. Fournet Cédric, Gonthier Georges. The reflexive chemical abstract machine and the join-calculus. In Proceedings of POPL '96. January 1996;372-385 ACM
5. Lampson Butler, Abadi Martín, Burrows Michael, Wobber Edward. Authentication in distributed systems: Theory and practice. ACM Transactions on Computer Systems. 10:(4):November1992;265-310
6. Linn John. Generic interface to security services. Computer Communications. 17:(7):July 1994;476-482
7. Linn Jonn. RFC 1508: Generic security service application program interface. Web page at ftp://ds.internic.net/rfc/rfcl508.txt. September 1993
8. Daniel L. McDonald, Bao G. Phan, and Randall J. Atkinson. A socket-based key management API (and surrounding infrastructure). In Proceedings of INET96, 1996. On the Web at http://www.isoc.org/isoc/whatis/conferences/inet/96/.
9. Microsoft. CryptoAPI. Web pages at http://www.microsoft.com/security/ tech/.
10. Milner Robin. Functions as processes. Mathematical Structures in Computer-Science. 2:1992;119-141
11. Milner Robin, Parrow Joachim, Walker David. A calculus of mobile processes, parts I and II. Information and Computation. 100:September 1992;1-40. 41-77
12. Leendert van Doorn, Martín Abadi, Mike Burrows, and Edward Wobber. Secure network objects. In Proceedings 1996 IEEE Symposium on Security and Privacy, pages 211 - 221, May 1996.
13. Wollrath Ann, Riggs Roger, Waldo Jim. A distributed object model for the Java system. Computing Systems. 9:(4):1996;265-290. Fall