George Necula Peter Lee Carnegie Mellon University Pittsburgh, Pennsylvania...  Home/Search
Context Related
| cmu.edu/~necula/sp97.ps.gz berkeley.edu/home/necula/p...sp97.ps.gz cmu.edu/%7Epetel/public...oakland97.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/~necula/papers (more) From: berkeley.edu/home/necula...papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction A powerful method of interaction between two software systems is through mobile code. By allowing code to be installed dynamically and then executed, a host system can provide a flexible means of access to its internal resources and services. There are many problems to be solved before such uses of untrusted code can become practical. For this position paper, we will focus on the problem of how to establish guarantees about the intrinsic behavior of untrusted programs. Of... (Update)
Context of citations to this paper: More
...what it says about how to check the system calls issued by untrusted code. In a more recent approach, proof carrying code [54, 56, 59, 55, 57, 58], the compiler embeds security checks at each unsafe operation and emits a proof that the resulting code satis es the security...
...producer is both competent and benevolent, a questionable assumption at best. 4 Proof Carrying Code The proof carrying code mechanism [22, 19, 23], or simply PCC, ensures the safety of a mobile agent by requiring that the code producer provides a proof of its correctness, which...
Cited by: More
Proofs of Safety for Untrusted Code - Rosu, Segerlind (1999) (Correct)
Janus: An Approach for Confinement of Untrusted Applications - Wagner (1999) (Correct)
Similar documents (at the sentence level):
26.0%: Research on Proof-Carrying Code for Mobile-Code Security - Lee, Necula (1997) (Correct)
Active bibliography (related documents): More All
0.0: Using Successive Approximations of Equivalences to Model.. - Bradley, Davies (1997) (Correct)
0.0: Benchmarking the Heraclitus[Alg,C] Prototype - Zhou, Ghandeharizadeh, Hull (1994) (Correct)
0.0: Software Libraries For Linear Algebra Computations On High.. - Dongarra, Walker (1995) (Correct)
Similar documents based on text: More All
0.2: Implementation and Analysis of Software Based Fault Isolation - Silver (1996) (Correct)
0.2: Compiling with Proofs - Necula (1997) (Correct)
0.2: Proof-Carrying Code - Necula, Lee (1996) (Correct)
Related documents from co-citation: More All
10: CERT advisory CA (context) - CA - 1988
2: Java Security: From HotJava to Netscape and Beyond - Dean, Felten et al. - 1996
2: Proof-carrying code - Necula - 1997
BibTeX entry: (Update)
George C. Necula and Peter Lee. Research on proof-carrying code for untrusted-code security. In Proc. 1997 IEEE Symp. Security & Privacy, 1997. http://citeseer.ist.psu.edu/article/necula97research.html More
@inproceedings{ necularesearch,
author = "G. Necula and P. Lee",
title = "Research on Proof-Carrying Code for Untrusted-Code Security",
pages = "204--204",
url = "citeseer.ist.psu.edu/article/necula97research.html" }
Citations (may not include all citations):30 Computer Science Department (context) - CMU-CS- - 1996
1 Also appeared as FOX memorandum CMU-CS-FOX (context) - as, CMU et al. - 1996
Documents on the same site (http://www.cs.cmu.edu/~necula/papers.html): More
Safe Kernel Extensions Without Run-Time Checking - Necula, Lee (1996) (Correct)
Proof-Carrying Code - Necula, Lee (1996) (Correct)
Efficient Representation and Validation of Logical Proofs - Necula, Lee (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC