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