C. Colby, K. Crary, R. Harper, P. Lee, and F. Pfenning. Automated techniques for provably safe mobile code. Theoretical Computer Science, 290:1175--1199, 2003. Special issue on Dependable Computing. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Detecting Malicious Java Code Using Virtual Machine Auditing - Soman, Krintz, Vigna (2003) (1 citation) (Correct)
....verification mechanisms [5, 31, 40, 22, 46, 48, 11, 21, 27, 4] Other related work has focused on mechanisms that ensure that the execution of mobile code will not unintentionally or maliciously harm the underlying systems. Such techniques include stack inspection [16] proof carrying code [42, 10, 9], software fault isolation [53] and code replacement [7] The system that we propose is not an alternative to these existing approaches to program protection and system security. Instead, it offers a complementary technique (thread level intrusion detection) that can be used to identify ....
C. Colby, K. Crary, R. Harper, P. Lee, and F. Pfenning. Automated Techniques for Provably Safe Mobile Code. In Proceedings of the DARPA Information Survivability Conference and Exposition, volume 1, pages 406--419, Hilton Head, SC, January 2000. IEEE Computer Society Press.
Types for Lexically-Scoped Access Control - Terauchi, Aiken, Foster (2003) (Correct)
No context found.
C. Colby, K. Crary, R. Harper, P. Lee, and F. Pfenning. Automated techniques for provably safe mobile code. Theoretical Computer Science, 290:1175--1199, 2003. Special issue on Dependable Computing.
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