A type system for certi .ed binaries

Shao, Z; Trifonov, V; Saha, B; Papaspyrou, N

dc.contributor.author	Shao, Z	en
dc.contributor.author	Trifonov, V	en
dc.contributor.author	Saha, B	en
dc.contributor.author	Papaspyrou, N	en
dc.date.accessioned	2014-03-01T02:49:18Z
dc.date.available	2014-03-01T02:49:18Z
dc.date.issued	2003	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/34483
dc.subject	Type System	en
dc.title	A type system for certi .ed binaries	en
heal.type	conferenceItem	en
heal.identifier.primary	10.1109/FITS.2003.1264928	en
heal.identifier.secondary	http://dx.doi.org/10.1109/FITS.2003.1264928	en
heal.publicationDate	2003	en
heal.journalName	Foundations of Intrusion Tolerant Systems	en
dc.identifier.doi	10.1109/FITS.2003.1264928	en