Naoto Yanai. Towards Provable Security of Dynamic Source Routing Protocol and Its Applications. In Sebastian Link, Juan Trujillo, editors, Advances in Conceptual Modeling - ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016, Proceedings. Volume 9975 of Lecture Notes in Computer Science, pages 231-239, 2016. [doi]
Abstract is missing.