Policy-enforced linking of untrusted components

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2003, Pages 371-374

  Lee, Eunyoung ^a   Appe, Andrew W ^a  

^a Princeton University   (United States)

Author keywords

component composition; formal logic; linking; proof carrying

Indexed keywords

EID: 4944248272     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/940071.940124     Document Type: Conference Paper

References (7)

1. A. W. Appel and E. W. Felten. Proof-carrying authentication. In 6th ACM Conference on Computer and Communications Security, November 1999.
2. R. Harper, F. Honsell, and G. Plotkin. A framework for defining logics. Journal of ACM, January 1993.
3. E. Lee. Secure Linking: A Logical Framework for Policy-Enforced Linking. PhD thesis, Princeton University, to appear 2003.
4. Microsoft. Microsoft Security Bulletin MS02-065, November 2002. http://www.microsoft.com/technet/security/bulletin/MS02-065.asp.
5. G. C. Necula and P. Lee. Safe, untrusted agents using proof-carrying code. Mobile Agents and Security, Springer-Verlag, 1998.
6. F. Pfenning and C. Schürmann. System description: Twelf - a meta-logical frameworkfor deductive systems. In Proceedings of the 16th International Conference on Automated Deduction (CADE-16), July 1999.
7. Sewell and Vitek. Secure composition of insecure components. In PCSFW: Proceedings of The 12th Computer Security Foundations Workshop, 1999.