| Document Date: 2014-11-11 20:30:18
Open Document File Size: 515,47 KBShare Result on Facebook
Company Autonomous Systems / / / Event Man-Made Disaster / / Facility University of Pennsylvania / / IndustryTerm protocol analysis tools / path-vector protocol / Internet Service Providers / cryptographic protocols / Internet infrastructure / proposed secure inter-domain routing protocols / secure Internet / declarative networking / secure and efficient Internet / software components / secure routing protocols / declarative networking engine / network protocols / / Organization University of Pennsylvania / Georgetown University / Carnegie Mellon University / / Position Prime Minister / rule head / func Terms Arg List Body Args Head / / ProgrammingLanguage DataLog / / ProvinceOrState Pennsylvania / / Technology encryption / cryptography / PSN algorithms / prescribed protocol / relational database / path-vector protocol / ISP / secure routing protocols / simulation / proposed secure inter-domain routing protocols / PSN algorithm / network protocols / /
SocialTag |
A Program Logic for Verifying Secure Routing Protocols (Technical Report) Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1