Author:
Chen Chen,Jia Limin,Xu Hao,Luo Cheng,Zhou Wenchao,Loo Boon Thau
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. ns 3 project: Network Simulator 3,
http://www.nsnam.org/
2. Arnaud, M., Cortier, V., Delaune, S.: Modeling and verifying ad hoc routing protocols. In: Proceedings of CSF (2010)
3. Lecture Notes in Computer Science;M. Arnaud,2011
4. Bau, J., Mitchell, J.: A security evaluation of DNSSEC with NSEC3. In: Proceedings of NDSS (2010)
5. Bhargavan, K., Obradovic, D., Gunter, C.A.: Formal verification of standards for distance vector routing protocols. J. ACM 49(4) (2002)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Impact of Propositional Messages on Termination of Declarative Distributed Systems;Selected Reflections in Language, Logic, and Information;2023-12-28
2. Decidability Borders of Verification of Communicating Datalog Agents;Multi-Agent Systems;2023
3. Distributed Provenance Compression;Proceedings of the 2017 ACM International Conference on Management of Data;2017-05-09
4. Mechanized Network Origin and Path Authenticity Proofs;Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security;2014-11-03