A Program Logic for Verifying Secure Routing Protocols
暂无分享,去创建一个
Hao Xu | Chen Chen | Limin Jia | Boon Thau Loo | Cheng Luo | Wenchao Zhou
[1] Xin Zhang,et al. SCION: Scalability, Control, and Isolation on Next-Generation Networks , 2011, 2011 IEEE Symposium on Security and Privacy.
[2] Prithwish Basu,et al. Declarative Network Verification , 2009, PADL.
[3] Dilsun Kirli Kaynar,et al. Compositional System Security with Interface-Confined Adversaries , 2010, MFPS.
[4] Stephen T. Kent,et al. Secure Border Gateway Protocol (S-BGP) , 2000, IEEE Journal on Selected Areas in Communications.
[5] Bruno Blanchet,et al. Automatic verification of correspondences for security protocols , 2008, J. Comput. Secur..
[6] chearings. Report of the Congressional Commission on the Strategic Posture of the United States, Hearing Before the Committee on Armed Services, United States Senate, One Hundred Eleventh Congress, First Session, May 7, 2009 , 2010 .
[7] Véronique Cortier,et al. Analysing Routing Protocols: Four Nodes Topologies Are Sufficient , 2012, POST.
[8] Mark-Oliver Stehr,et al. Formal prototyping in early stages of protocol design , 2005, WITS '05.
[9] Ion Stoica,et al. Declarative networking , 2009, Commun. ACM.
[10] Johan Anthory Willem Kamp,et al. Tense logic and the theory of linear order , 1968 .
[11] John C. Mitchell,et al. Protocol Composition Logic (PCL) , 2007, Computation, Meaning, and Logic.
[12] John C. Mitchell,et al. A modular correctness proof of IEEE 802.11i and TLS , 2005, CCS '05.
[13] Chen Chen,et al. Reduction-based security analysis of Internet routing protocols , 2012, 2012 20th IEEE International Conference on Network Protocols (ICNP).
[14] Michael Walfish,et al. Verifying and enforcing network paths with icing , 2011, CoNEXT '11.
[15] Limin Jia,et al. Maintaining distributed logic programs incrementally , 2011, Comput. Lang. Syst. Struct..
[16] Ion Stoica,et al. Declarative networking: language, execution and optimization , 2006, SIGMOD Conference.
[17] Ben Smyth,et al. ProVerif 1.85: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial , 2011 .
[18] John C. Mitchell,et al. A Security Evaluation of DNSSEC with NSEC3 , 2010, NDSS.
[19] Evangelos Kranakis,et al. Pretty Secure BGP, psBGP , 2005, NDSS.
[20] Carl A. Gunter,et al. Formal verification of standards for distance vector routing protocols , 2002, JACM.
[21] Dawson R. Engler,et al. Model Checking Large Network Protocol Implementations , 2004, NSDI.
[22] Jean-Pierre Seifert,et al. Secrecy Analysis in Protocol Composition Logic , 2006, ASIAN.
[23] Lawrence C. Paulson,et al. Mechanized proofs for a recursive authentication protocol , 1997, Proceedings 10th Computer Security Foundations Workshop.
[24] Véronique Cortier,et al. Deciding Security for Protocols with Recursive Tests , 2011, CADE.
[25] Véronique Cortier,et al. Modeling and Verifying Ad Hoc Routing Protocols , 2010, CSF.
[26] José Meseguer,et al. A rewriting-based inference system for the NRL protocol analyzer: grammar generation , 2005, FMSE '05.