Formal security analysis of Ariadne secure routing protocol using model checking. - E. Onem; A. Burak Gürdag; M. Ufuk Çaglayan (Int. J. Ad Hoc Ubiquitous Comput., 2012)