by Fuyuan Zhang, Limin Jia, Cristina Basescu, Tiffany Hyun-Jin Kim and Yih-Chun Hu, and Adrian Perrig
Reference:
Mechanized Network Origin and Path Authenticity Proofs. Fuyuan Zhang, Limin Jia, Cristina Basescu, Tiffany Hyun-Jin Kim and Yih-Chun Hu, and Adrian Perrig. In Proceedings of the ACM SIGSAC Conference on Computer and Communications Security (CCS) 2014.
Bibtex Entry:
@inproceedings{ZhangJBKHP14,
Author = {Fuyuan Zhang and Limin Jia and Cristina Basescu and Tiffany Hyun{-}Jin Kim and Yih{-}Chun Hu and Adrian Perrig},
Booktitle = {Proceedings of the {ACM SIGSAC} Conference on Computer and Communications Security (CCS)},
Doi = {10.1145/2660267.2660349},
Pages = {346--357},
Title = {Mechanized Network Origin and Path Authenticity Proofs},
url = {/publications/papers/opt-verif.pdf},
month = nov,
keywords = {accountability},
location = {Scottsdale, AZ, USA},
Year = {2014},
}