Thesis Title : Formal Specification and Verification of Secure Routing Protocols for Mobile Ad Hoc Networks (MANETs)
Supervisor : Prof. Dr. M. Ufuk Caglayan
Definition : This thesis involves investigating, using and possibly developing formal methods to specify and verify security properties of so called secure routing protocols proposed for mobile ad hoc networks. Our primary goal is to provide verifiable yet realistic formal models for attackers and defense mechanisms for several MANET routing protocols and verify security properties that we define for these systems using computer aided verification environments.
Status : In progress.