Foundational proof-carrying code - Appel, A.W. (Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems], 2003)