Mechanized Network Origin and Path Authenticity Proofs.

Fuyuan Zhang Limin Jia Cristina Basescu Tiffany Hyun-Jin Kim Yih-Chun Hu Adrian Perrig

Published in: CCS (2014)

Keyphrases

network model
digital images
wireless sensor networks
complex networks
computer networks
link prediction
multiple paths
network structure
communication networks
network management
network design
path length
network topologies
path selection