Policy-enforced linking of untrusted components

d Abstract) Eunyoung Lee Andrew W. Appel Department of Computer Science Princeton University {elee,appel}@cs.princeton.edu Categories and Subject Descriptors D.2.4 [Software Engineering]: Software/Program Verification--formal methods, assertion checkers General Terms Languages, Security, Verification Keywords Linking, component composition, formal logic, proof-carrying

• Type: Conference
• Year: 2003
• Where: SIGSOFT
• Authors: Eunyoung Lee, Andrew W. Appel
• Keywords: Checkers General Terms, Computer Science Princeton, Lee Andrew W, SIGSOFT 2003, Software Engineering