Formal security analysis of Ariadne secure routing protocol using model checking

ISSN： 1743-8225

Source： International Journal of Ad Hoc and Ubiquitous Computing, Vol.9, Iss.1, 2012-02, pp. : 12-24

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Analysing a stream authentication protocol using model checking

By Hopcroft Philippa Lowe Gavin

International Journal of Information Security (IJIS), Vol. 3, Iss. 1, 2004-10 ,pp. : 2-13

Springer Publishing Company

Access to resources Recommend Favorite

Performance analysis of modified secure link state routing protocol

By El-said Shaimaa A.

International Journal of Networking and Virtual Organisations, Vol. 11, Iss. 1, 2012-07 ,pp. : 30-47

Inderscience Publishers

Access to resources Recommend Favorite

Towards formal analysis of wireless LAN security with MIS protocol

By You Ilsun Hori Yoshiaki Sakurai Kouichi

International Journal of Ad Hoc and Ubiquitous Computing, Vol. 7, Iss. 2, 2011-03 ,pp. : 112-120

Inderscience Publishers

Access to resources Recommend Favorite

Secure Buffer-Based Routing Protocol for WMN

International Journal of Business Data Communications and Networking (IJBDCN), Vol. 13, Iss. 1, 2017-01 ,pp. : 28-44

IGI Global_journal

Access to resources Recommend Favorite

STACRP: a secure trusted auction oriented clustering based routing protocol for MANET

By Chatterjee Pushpita

Cluster Computing, Vol. 15, Iss. 3, 2012-09 ,pp. : 303-320

Springer Publishing Company

Access to resources Recommend Favorite