A Program Logic for Verifying Secure Routing Protocols.

Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo

Browse the full FORTE paper archive.