Mechanized Network Origin and Path Authenticity Proofs
Metadata only
Datum
2014Typ
- Conference Paper
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedExterne Links
Zeitschrift / Serie
Proceedings of the ACM Conference on Computer and Communications Security (CCS 2014)Seiten / Artikelnummer
Verlag
ACMKonferenz
Thema
Origin authenticity; Path authenticity; Formal methods; Mechanized proofsOrganisationseinheit
03975 - Perrig, Adrian / Perrig, Adrian
ETH Bibliographie
yes
Altmetrics