Safe, Untrusted Agents using Proof-Carrying Code (1998)

Cached

Download Links

by George C. Necula , Peter Lee
Venue:of Lecture Notes in Computer Science
Citations:32 - 3 self

Documents Related by Co-Citation

66 Cryptographic Traces for Mobile Agents – Giovanni Vigna - 1998
157 Time Limited Blackbox Security: Protecting Mobile Agents From Malicious Hosts – Fritz Hohl - 1998
128 A Security Model for Aglets – Gunter Karjoth, Danny Lange, Mitsuru Oshima - 1997
399 Safe Kernel Extensions Without Run-Time Checking – George C. Necula, Peter Lee
32 Security in Mobile Agent Systems – Neeran Karnik - 1998
270 Protecting Mobile Agents Against Malicious Hosts – Tomas Sander, Tomas S, Christian F. Tschudin - 1997
79 Countermeasures for Mobile Agent Security – Wayne A. Jansen - 2000
684 Efficient Software-Based Fault Isolation – Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham - 1993
65 Protecting the computation results of free-roaming agents – G Karjoth, N Asokan, C Gulcu - 1998
81 The Safe-Tcl Security Model – John K. Ousterhout, Jacob Y. Levy, Brent B. Welch - 1997
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha
2 Trusted Service Discovery and Delivery – Hopper
19 A Secure, Publisher-Centric Web Caching Infrastructure – Andy Myers , John Chuang , Urs Hengartner, Yinglian Xie, Weiqiang Zhuang, Hui Zhang
19 Optimism and Pessimism in Trust – Stephen Marsh - 1994
306 Supporting Trust in Virtual Communities – Alfarez Abdul-Rahman , Stephen Hailes - 2000
854 Freenet: A Distributed Anonymous Information Storage and Retrieval System – Ian Clarke, Oskar Sandberg, Brandon Wiley, Theodore W. Hong - 2001
401 Formalising trust as a computational concept – Stephen Paul Marsh - 1994
96 The Case for Cooperative Networking – Venkata N. Padmanabhan, Kunwadee Sripanidkulchai - 2002