A Sanctuary for Mobile Agents

A Sanctuary for Mobile Agents (1997)

Cached

Download Links

by Bennet S. Yee

Citations:

112 - 4 self

BibTeX

@MISC{Yee97asanctuary,
    author = {Bennet S. Yee},
    title = { A Sanctuary for Mobile Agents},
    year = {1997}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

The Sanctuary project at UCSD is building a secure infrastructure for mobile agents, and examining

Citations

1016	Proof-carrying code - Necula - 1997
742	Decentralized trust management - Blaze, Feigenbaum, et al. - 1996
627	Efficient software-based fault isolation - Wahbe, Lucco, et al. - 1993
435	The bsd packet filter: A new architecture for user-level packet capture - Mccanne, Jacobson
404	Keying hash functions for message authentication - Bellare, Canetti, et al. - 1996
392	safety and performance in the SPIN operating system - BERSHAD, SAVAGE, et al. - 1995
381	Safe Kernel Extensions without Run-time Checking - Necula, Lee
327	The TLS protocol version 1.0 - DIERKS, ALLEN - 1999
250	Protecting mobile agents against malicious hosts - Sander, Tschudin - 1998
221	Szegedy M. Checking computations in polylogarithmic time - Babai, Fortnow, et al. - 1991
185	How to Time-Stamp a Digital Document - Haber, Stornetta - 1999
134	Using Secure Coprocessors - Yee - 1994
119	On hiding information from an oracle - Abadi, Feigenbaum, et al. - 1989
109	XOR MACs: New methods for message authentication using finite pseudorandom functions - Bellare, Guérin, et al. - 1995
108	A note on efficient zero-knowledge proofs and arguments (extended abstract - Kilian - 1992
70	Network-aware mobile programs - Ranganathan, Acharya, et al.
63	Crypograhic traces for mobile agents - Vigna - 1998
53	Forward Integrity for Secure Audit Logs - Bellare, Yeey - 1997
43	Cryptographic support for fault-tolerant distributed computing - Minsky, Renesse, et al. - 1996
39	Java Security - Fritzinger, Mueller - 1996
39	CS proofs - Micali - 1994
34	Secure circuit evaluation - Abadi, Feigenbaum - 1990
31	Introduction to the Citadel Architecture: Security in Physically Exposed Environments - White, Weingart, et al. - 1991
20	Language Support for Extensible Operating Systems - Hsieh, Fiuczynski, et al. - 1995
20	Introducing Trusted Third Parties to the Mobile Agent - Wilhelm, Staamann, et al. - 1999
12	The BSD Packet a new architecture for user level packet capture - McCanne, Jacobson - 1993
11	The BSD packet lter: a new architecture for user-level packet capture - McCanne, Jacobson - 1993
8	A note on ecient zero-knowledge proofs and arguments - Kilian - 1992
7	The SSL protocol Version 3 - Freier, Karlton, et al. - 1995
7	How to migrate agents - Hohlfeld, Yee - 1998
7	Common Cryptographic Architecture: Cryptographic Application Programming Interface Reference - Corporation
5	to Time-Stamp a Digital Document - How - 1991
4	Message authentication codes - Jueneman - 1985
3	The PCT protocol - Benaloh, Lampson, et al. - 1995
1	Forward-secure cryptography: How to protect against key exposure - Bellare, Yee
1	Przemys law Pardyak, Emin Gun - Bershad, Savage - 1995