Mechanized Network Origin and Path Authenticity Proofs

Thumbnail
Metadata only
Author
Zhang, Fuyuan
Jia, Limin
Basescu, Cristina
Kim, Tiffany Hyun-Jin
Hu, Yih-Chun
Perrig, Adrian
Show all
Date
2014
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Journal / series
Proceedings of the ACM Conference on Computer and Communications Security (CCS 2014)
Pages / Article No.
346 - 357
Publisher
ACM
Event
21st ACM Conference on Computer and Communications Security, CSS 2014, Scottsdale, AZ, USA, November 3-7, 2014
Subject
Origin authenticity; Path authenticity; Formal methods; Mechanized proofs
Organisational unit
03975 - Perrig, Adrian / Perrig, Adrian  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics