Article Comments

Contributions from readers on our articles are very welcome. This form will let us retrieve the current data in the database and allows us to consider your comments.

Formal security analysis of Ariadne secure routing protocol using model checking
E. Onem; A. Burak Gürdağ; M. Ufuk Çağlayan
International Journal of Ad Hoc and Ubiquitous Computing (IJAHUC), 2012 Vol.9 No.1, pp.12 - 24
19 - 8 =

Thank you for your feedback.

Return to top