文章基本信息

标题：Modelling and Verification of Extensible Authentication Protocol Using Spin Model Checker
本地全文：下载
作者：Manu S. Hegde ; Jnanamurthy HK ; Sanjay Singh 等
期刊名称：International Journal of Network Security & Its Applications
印刷版ISSN：0975-2307
电子版ISSN：0974-9330
出版年度：2012
卷号：4
期号：6
DOI：10.5121/ijnsa.2012.460
出版社：Academy & Industry Research Collaboration Center (AIRCC)
摘要：The Extensible Authentication Protocol (EAP) is a framework for transporting authentication credentials.EAP offers simpler interoperability and compatibility acrossauthentication methods. EAP supportsmultiple authentication methods. In this paper, we have modelled the ExtensibleAuthenticationProtocolasa finite state machine. The various entities in our model are Authenticator, EAP Server, User and UserDatabase.The messages exchanged between various entities are modelled as transitions. The model isrepresented in PROMELA.The model is checked for conformance with its specifications todetectpossible flawsusingSPINmodel checker
关键词：Model checking; SP;IN; Promela; EAP; Extensible Authentication Protocol