DocumentCode

2545709

Title

Foundational proof-carrying code

Author

Appel, Andrew W.

Author_Institution

Princeton University

fYear

2003

fDate

2003

Firstpage

25

Lastpage

34

Keywords

Application software; Assembly; Java; Kernel; Logic; Mechanical factors; Permission; Program processors; Software safety; Virtual machining;

fLanguage

English

Publisher

ieee

Conference_Titel

Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems]

Print_ISBN

0-7695-2057-X

Type

conf

DOI

10.1109/FITS.2003.1264926

Filename

1264926