Security analysis of LMAP using AVISPA

  • Authors:
  • Salekul Islam

  • Affiliations:
  • Computer Science and Engineering Department, United International University, Dhaka 1209, Bangladesh

  • Venue:
  • International Journal of Security and Networks
  • Year:
  • 2014

Quantified Score

Hi-index 0.00

Visualization

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.