Security analysis of LMAP using AVISPA
by Salekul Islam
International Journal of Security and Networks (IJSN), Vol. 9, No. 1, 2014

Abstract: Radio-frequency identification (RFID) is an RFID tag based technology for providing automated identification of both objects and humans. RFID tags have numerous potential applications if a secured authentication and privacy could be provided. An RFID tag is interrogated by a reader to get the identity of the tag along with other information. A mutual authentication between the tag and reader should take place before revealing tag's identification or any other sensitive information to a reader. Lightweight mutual authentication protocol (LMAP) is a low-cost authentication protocol for RFID tags, where tags perform only simple bit-wise operations and readers perform high computational operations. In this paper, we have validated the security properties of LMAP by using an automated, security protocol validation tool, named AVISPA. Two attacks on mutual authentication have been reported by AVISPA. We also analyse how these attacks could be extenuated.

Online publication date: Mon, 17-Feb-2014

The full text of this article is only available to individual subscribers or to users at subscribing institutions.

 
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Security and Networks (IJSN):
Login with your Inderscience username and password:

Username:        Password:          Forgotten your password?

Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email subs@inderscience.com