A Program Logic for Verifying Secure Routing Protocols (2014)

by C Chen, L Jia, H Xu, C Luo, W Zhou, B T Loo
Venue:In Proc. FORTE