DocumentCode :
2545753
Title :
A type system for certi .ed binaries
Author :
Shao, Zhong ; Trifonov, Valery ; Saha, Bratin ; Papaspyrou, Nikolaos
fYear :
2003
fDate :
2003
Firstpage :
60
Lastpage :
85
Keywords :
Assembly systems; Automatic control; Calculus; Computer languages; Computer science; Data structures; Logic; Machinery; Permission; Safety;
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.1264928
Filename :
1264928
Link To Document :
بازگشت