Secure communications processing for distributed languages

Proceedings - IEEE Symposium on Security and Privacy

Volumn 1999-January, Issue , 1999, Pages 74-88

  Avadi, Martn ^a   Fournet, Cedric ^b   Gonthier, Georges ^c  

^a Systems Research Center Compaq   (France)

^b MICROSOFT RESEARCH   (United States)

^c INRIA ROCQUENCOURT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATIONAL LINGUISTICS; DISTRIBUTED COMPUTER SYSTEMS;

COMMUNICATIONS PROCESSING; CRYPTOGRAPHIC OPERATIONS; DISTRIBUTED COMMUNICATIONS; DISTRIBUTED LANGUAGES; LOCAL COMMUNICATIONS; REMOTE METHOD INVOCATIONS; REMOTE PROCEDURE CALL; SECURITY PROPERTIES;

HARDWARE SECURITY;

EID: 84940103422     PISSN: 10816011     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SECPRI.1999.766719     Document Type: Conference Paper

References (32)

1. M. Abadi. Protection in programming-language trans-lations. In Proceedings of the 25th International Col-loquium on Automata, Languages and Programming, pages 868-883, July 1998
2. M. Abadi, A. Birrell, R. Stata, and E. Wobber. Se-cure web tunneling. Computer Networks and ISDN Systems, 30(1-7):531-539, Apr. 1998. Proceedings of the 7th International World Wide Web Conference
3. M. Abadi, C. Fournet, and G. Gonthier. Secure im-plementation of channel abstractions. Manuscript, full version of and this paper, on the Web at http://join.inria.fr/
4. M. Abadi, C. Fournet, and G. Gonthier. Secure im-plementation of channel abstractions. In Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, pages 105-116, June 1998
5. M. Abadi and A. D. Gordon. A calculus for crypto-graphic protocols: The spi calculus. Information and Computation, 148(1), Jan. 1999. An extended version appeared as Digital Equipment Corporation Systems Research Center report No. 149, January 1998
6. K. F. Alden and E. P. Wobber. The AltaVista tun-nel: Using the Internet to extend corporate networks. Digital Technical Journal, 9(2):5-15, Oct. 1997. On the Web at http://www.digital.com/info/DTJQ01/DTJQ01HM.HTM
7. R. Anderson. Why cryptosystems fail. In 1st ACM Conference on Computer and Communications Secu-rity, pages 215-227, Nov. 1993
8. M. Bellare and P. Rogaway. Provably secure session key distribution: The three party case. In Proceed-ings of the 27th Annual ACM Symposium on Theory of Computing, 1995
9. G. Berry and G. Boudol. The chemical abstract ma-chine. Theoretical Comput. Sci., 96:217-248, 1992
10. A. Birrell, G. Nelson, S. Owicki, and E. Wobber. Network objects. Software Practice and Experience, S4(25):87-130, Dec. 1995
11. A. D. Birrell. Secure communication using remote pro-cedure calls. ACM Transactions on Computer Sys-tems, 3(1):1-14, Feb. 1985
12. A. D. Birrell and B. J. Nelson. Implementing remote procedure calls. ACM Transactions on Computer Sys-tems, 2(1):39-59, February 1984
13. M. Burrows, M. Abadi, and R. Needham. A logic of authentication. Proceedings of the Royal Society of London A, 426:233-271, 1989. A preliminary version appeared as Digital Equipment Corporation Systems Research Center report No. 39, February 1989
14. P.-C. Cheng, J. A. Garay, A. Herzberg, and H. Kraw-czyk. Design and implementation of modular key man-agement protocol and IP secure tunnel on AIX. In Proceedings of the 5th USENIX UNIX Security Sym-posium, June 1995
15. C. Fournet. The Join-Calculus: a Calculus for Dis-tributed Mobile Programming. PhD thesis, Ecole Poly-technique, Palaiseau, Nov. 1998
16. C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the join-calculus. In Proceedings of POPL '96, pages 372-385. ACM, Jan. 1996
17. C. Fournet, G. Gonthier, J.-J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. In U. Montanari and V. Sassone, editors, Proceedings of the 7th Inter-national Conference on Concurrency Theory, volume 1119 of Lecture Notes in Computer Science. Springer-Verlag, Aug. 1996
18. C. Fournet, C. Laneve, L. Maranget, and D. Remy. Implicit typing a la ML for the join-calculus. In A. Mazurkiewicz and J. Winkowski, editors, Proceed-ings of the 8th International Conference on Concur-rency Theory, volume 1243 of Lecture Notes in Com-puter Science, pages 196-212. Springer-Verlag, July 1997
19. C. Fournet and L. Maranget. The join-calculus lan-guage (version 1.03). Source distribution and doc-umentation available from http://join.inria.fr/, June 1997
20. L. Lamport. A simple approach to specifying concur-rent systems. Commun. ACM, 32(1):32-45, Jan. 1989
21. B. Lampson, M. Abadi, M. Burrows, and E. Wob-ber. Authentication in distributed systems: Theory and practice. ACM Transactions on Computer Sys-tems, 10(4):265-310, Nov. 1992
22. P. Lincoln, J. Mitchell, M. Mitchell, and A. Scedrov. A probabilistic poly-time framework for protocol anal-ysis. In Proceedings of the Fifth ACM Conference on Computer and Communications Security, pages 112-121, Nov. 1998
23. J. McLean. Security models. In J. Marciniak, editor, Encyclopedia of Software Engineering. Wiley & Sons, 1994
24. J. McLean. A general theory of composition for a class of \possibilistic" properties. IEEE Transactions on Software Engineering, 22(1):53-66, Jan. 1996
25. R. Milner. Communication and Concurrency. Prentice Hall International, 1989
26. R. Milner, J. Parrow, and D. Walker. A calculus of mo-bile processes, parts I and II. Information and Com-putation, 100:1-40 and 41-77, Sept. 1992
27. R. M. Needham and M. D. Schroeder. Using encryp-tion for authentication in large networks of computers. Communications of the ACM, 21(12):993-999, Dec. 1978
28. L. C. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Secu-rity, 6(1-2), 1998
29. Sun Microsystems, Inc. RMI enhancements. Web pages at http://java.sun.com/products/jdk/1.2/docs/guide/rmi/, 1997
30. F. J. Thayer Fabrega, J. C. Herzog, and J. D. Guttman. Strand spaces: Why is a security proto-col correct? In Proceedings 1998 IEEE Symposium on Security and Privacy, pages 160-171, May 1998
31. L. van Doorn, M. Abadi, M. Burrows, and E. Wobber. Secure network objects. In Proceedings 1996 IEEE Symposium on Security and Privacy, pages 211-221, May 1996
32. A. Wollrath, R. Riggs, and J. Waldo. A distributed object model for the Java system. Computing Systems, 9(4):265-290, Fall 1996