TY  - RPRT
TI  - A Program Logic for Verifying Secure Routing Protocols
AU  - Chen Chen
AU  - Limin Jia
AU  - Hao Xu
AU  - Cheng Luo
AU  - Wenchao Zhou
AU  - Boon Thau Loo
PY  - 2015
DO  - 10.2168/lmcs-11(4:19)2015
UR  - https://arxiv.org/abs/1510.03531
ID  - 1510.03531
ER  -