Towards formal analysis of wireless LAN security with MIS protocol

Author： You Ilsun   Hori Yoshiaki   Sakurai Kouichi  

Publisher： Inderscience Publishers

ISSN： 1743-8225

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

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

Towards an Awareness-Based Semantics for Security Protocol Analysis

By Accorsi R.   Basin D.   Vigano L.  

Electronic Notes in Theoretical Computer Science, Vol. 55, Iss. 1, 2004-01 ,pp. : 1-20

Elsevier

Access to resources Recommend Favorite

Formal security analysis of Ariadne secure routing protocol using model checking

By Onem E.   Gü A. Burak     Ç M. Ufuk      

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

Inderscience Publishers

Access to resources Recommend Favorite

The performance of a watchdog protocol for wireless network security

By Lee Jin Wook   Lee Yann-Hang   Syrotiuk Violet R.  

International Journal of Wireless and Mobile Computing, Vol. 2, Iss. 1, 2007-05 ,pp. : 28-36

Inderscience Publishers

Access to resources Recommend Favorite

Automated Reasoning for Security Protocol Analysis

By Armando Alessandro   Basin David   Cuellar Jorge   Rusinowitch Michaël   Viganò Luca  

Journal of Automated Reasoning, Vol. 36, Iss. 1-2, 2006-01 ,pp. : 1-3

Springer Publishing Company

Access to resources Recommend Favorite

Performance analysis of the EBARR protocol for wireless sensor networks

By Sumathi R.  

International Journal of Information Technology, Communications and Convergence, Vol. 2, Iss. 1, 2012-03 ,pp. : 25-53

Inderscience Publishers

Access to resources Recommend Favorite