DMCA

A Program Logic for Verifying Secure Routing Protocols

by Chen Chen , Limin Jia , Hao Xu , Cheng Luo , Wenchao Zhou , Boon Thau Loo
Citations:2 - 2 self