Modeling and Verifying Ad Hoc Routing Protocols

Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune. Modeling and Verifying Ad Hoc Routing Protocols. In Proceedings of the 23rd IEEE Computer Security Foundations Symposium, CSF 2010, Edinburgh, United Kingdom, July 17-19, 2010. pages 59-74, IEEE Computer Society, 2010. [doi]

Abstract

Abstract is missing.