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:36 - 3 self

Documents Related by Co-Citation

711 Efficient Software-Based Fault Isolation – Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham - 1993
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
411 Safe Kernel Extensions Without Run-Time Checking – George C. Necula, Peter Lee
1713 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha - 2000
938 Freenet: A Distributed Anonymous Information Storage and Retrieval System – Ian Clarke, Oskar Sandberg, Brandon Wiley, Theodore W. Hong - 2001
1165 Proof-Carrying Code – George C. Necula - 1997
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
682 The Protection of Information in Computer Systems – Jerome H. Saltzer, Michael D. Schroeder - 1975
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003