Automating the security analysis process of secure ad hoc routing protocols

Todd R. Andel, G. Back, Alec Yasinsac. Automating the security analysis process of secure ad hoc routing protocols. Simulation Modelling Practice and Theory, 19(9):2032-2049, 2011. [doi]

Abstract

Abstract is missing.