CRVad: Confidential Reasoning and Verification Towards Secure Routing in Ad Hoc Networks

Teng Li, Jianfeng Ma, Cong Sun. CRVad: Confidential Reasoning and Verification Towards Secure Routing in Ad Hoc Networks. In Guojun Wang, Albert Y. Zomaya, Gregorio Martínez Pérez, Kenli Li, editors, Algorithms and Architectures for Parallel Processing - 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015. Proceedings, Part III. Volume 9530 of Lecture Notes in Computer Science, pages 449-462, Springer, 2015. [doi]

Abstract

Abstract is missing.