Title :
A type system for certi .ed binaries
Author :
Shao, Zhong ; Trifonov, Valery ; Saha, Bratin ; Papaspyrou, Nikolaos
Keywords :
Assembly systems; Automatic control; Calculus; Computer languages; Computer science; Data structures; Logic; Machinery; Permission; Safety;
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.1264928