Title :
Foundational proof-carrying code
Author :
Appel, Andrew W.
Author_Institution :
Princeton University
Keywords :
Application software; Assembly; Java; Kernel; Logic; Mechanical factors; Permission; Program processors; Software safety; Virtual machining;
Conference_Titel :
Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems]
Print_ISBN :
0-7695-2057-X
DOI :
10.1109/FITS.2003.1264926
