A sanctuary for mobile agents

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1603, Issue , 1999, Pages 261-273

  Yee, Bennet S ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84982946701     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48749-2_12     Document Type: Conference Paper

References (32)

1. Martin Abadi and Joan Feigenbaum. Secure circuit evaluation. Journal of Cryptography, 2(1):1-12, 1990.
2. Martin Abadi, Joan Feigenbaum, and Joe Kilian. On hiding information from an oracle. Journal of Computer and System Science, 39(l):21-50, August 1989.
3. Laszlo Babai, Lance Fortnow, Leonid A. Levin, and Mario Szegedy. Checking computations in polylogarithmic time. In Proceedings of the Twenty Third Annual ACM Symposium on Theory of Computing, pages 21-31, New Orleans, Louisiana, May 1991.
4. Mihir Bellare, Ran Canetti, and Hugo Krawczyk. Keying hash functions for message authentication. In Neil Koblitz, editor, Advances in Cryptology — Crypto '96, volume 1109 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
5. Mihir Bellare, Roch Guerin, and Phillip Rogaway. XOR MACs: New methods for message authentication using finite pseudo-random functions. In Advances in Cryptology — Crypto '95, volume 963 of Lecture Notes in Computer Science, pages 15-28. Springer-Verlag, 1995.
6. Mihir Bellaxe and Bennet Yee. Forward-secure cryptography: How to protect against key exposure. Work in progress.
7. Mihir Bellare and Bennet Yee. Forward integrity for secure audit logs. Technical report, Computer Science and Engineering Department, University of California at San Diego, November 1997.
8. Josh Benaloh, Butler Lampson, Terence Spies, Dan Simon, and Bennet S. Yee. The PCT protocol, October 1995.
9. Brian N. Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Giin Sirer, Marc E. Fiuczynski, David Becker, Craig Chambers, and Susan Eggers. Extensibility, safety and performance in the spin operating system. In Proceedings of the Fifteenth Symposium on Operating Systems Principles, December 1995.
10. Matt Blaze, Joan Feigenbaum, and Jack Lacy. Decentralized trust management. In Proceedings 1996 IEEE Symposium on Security and Privacy, May 1996.
11. Tim Dierks and Christopher Allen. The TLS protocol, version 1.0, November 1998. Internet Engineering Task Force Internet Draft; see http://www.ietf.cnri.reston.va.us/internet-drafts/draift-ietf-tls-protocol-06.txt.
12. Alan Preier, Philip Karlton, and Paul Kocher. The SSL protocol version 3, December 1995.
13. J. Steven Pritzinger and Marianne Mueller. Java security, 1996. Published as http://www.javasoft.com/security/whitepaper.ps.
14. Stuart Haber and W. Scott Stornetta. How to time-stamp a digital document. Journal of Cryptology, 3(2), 1991.
15. Matthew Hohlfeld and Bennet S. Yee. How to migrate agents. Techniccd Report CS98-588, Computer Science and Engineering Department, University of California at San Diego, La Jolla, CA, August 1998.
16. Wilson C. Hsieh, Marc E. Fiuczynski, Charles Garrett, Stefan Savage, David Becker, and Brian N. Bershad. Language support for extensible operating systems. In Proceedings of the Workshop on Compiler Support for System Software, February 1996.
17. IBM Corporation. Common Cryptographic Architecture: Cryptographic Application Programming Interface Reference, SC40-1675-1 edition.
18. IBM 4758 PCI cryptographic coprocessor. Press Release, August 1997. http://www.ibm.com/Security/cryptocards/.
19. R. R. Jueneman, S. M. Matyas, and C. H. Meyer. Message authentication codes. IEEE Communications Magazine, 23(9):29-40, September 1985.
20. Joe Kilian. A note on efficient zero-knowledge proofs and arguments. In Proceedings of the Twenty Fourth Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 1992.
21. Steven McCanne and Van Jacobson. The BSD packet filter: A new architecture for user-level packet capture. In USENIX Technical Conference Proceedings, pages 259-269, San Diego, CA, 1993. USENIX.
22. Silvio Micali. CS proofs. In Proceedings of the 35th IEEE Symposium on Foundations of Computer Science, pages 436-453, Santa Fe, New Mexico, November 1994.
23. Yaron Minsky, Robbert van Renesse, Fred B. Schneider, and Scott D. Stoller. Cryptographic support for fault-tolerant distributed computing. Technical Report TR96-1600, Department of Computer Science, Cornell University, July 1996.
24. George Necula. Proof carrying code. In Proceedings of the Twenty Fourth Annual Symposium on Principles of Programming Languages, 1997.
25. George Necula and Peter Lee. Safe kernel extensions without run-time checks. In Proceedings of the Second Symposium, on Operating Systems Design and Im,plementation, Seattle, WA, October 1996.
26. Mudumbai Ranganathan, Anurag Acharya, Shamik D. Sharma, and Joel Saltz. Network-aware mobile programs. In Proceedings of the Usenix 1997 Annual Technical Conference. Usenix, 1997.
27. Tomas Sander and Christian F. Tschudin. Protecting mobile agents against malicious hosts. In Giovanni Vigna, editor, Mobile Agents and Security, volume 1419 of Lecture Notes in Computer Science, Start-of-the-Art Survey, pages 44-60. Springer-Verlag, 1998.
28. Giovanni Vigna. Cryptographic traces for mobile agents. In Giovanni Vigna, editor, Mobile Agents and Security, volume 1419 of Lecture Notes in Computer Science, State-of-the-Art Survey, pages 137-153. Springer-Verlag, 1998.
29. Robert Wahbe, Steve Lucco, T. E. Anderson, and Susan L. Graham. Efficient software-based fault isolation. In Proceedings of the ACM SIGCOMM 96 Symposium. ACM, 1996.
30. Steve R. White, Steve H. Weingart, William C. Arnold, and Elaine R. Palmer. Introduction to the Citadel architecture: Security in physically exposed environments. Technical Report RC16672, Distributed security systems group, IBM Thomas J. Watson Research Center, March 1991. Version 1.3.
31. U. Wilhelm, S. Staamann, and L. Buttyan. Introducing trusted third parties to the mobile agent paradigm. In Secure Internet Programming, Lecture Notes in Computer Science, Springer-Verlag Inc., New York, NY, USA, 1999.
32. Bennet S. Yee. Using Secure Coprocessors. PhD thesis, Carnegie Mellon University, 1994.