A Mutual Authentication Protocol for Low-Cost RFID Tags Formally Verified Using CasperFDR and AVISPA. / Abu Ghazalah, Sarah; Markantonakis, Konstantinos; Mayes, Keith.

The 8th Internet Technology and Secured Transactions (ICITST), : The 5th International Workshop on RFID Security and Cryptography (RISC 2013). London : IEEE Computer Society Press, 2013. p. 44-51.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Documents

  • RFID-Protocol2

    Submitted manuscript, 864 KB, PDF-document

Abstract

In this paper, we propose a lightweight mutual authentication protocol for low-cost Radio Frequency IDentification (RFID) tags. Although RFID systems promise a fruitful future, security and privacy concerns have affected the proliferation of the RFID technology. The proposed protocol aims to protect RFID tags against a wide variety of attacks and especially Denial of Service (DoS) attacks. We found that the majority of the proposed protocols failed to resist this kind of attack. To analyse our proposed protocol, we provide an informal analysis. In addition, we formally analyse the security of the proposed protocol via using automated formal verification tools such as CasperFDR and AVISPA. We also employed an up-to-date privacy model to evaluate the privacy of the RFID protocol. The results show that the proposed protocol achieves tag’s data secrecy, privacy and authentication under the presence of a passive adversary.
Original languageEnglish
Title of host publicationThe 8th Internet Technology and Secured Transactions (ICITST),
Subtitle of host publicationThe 5th International Workshop on RFID Security and Cryptography (RISC 2013)
Place of PublicationLondon
PublisherIEEE Computer Society Press
Pages44-51
Number of pages8
StatePublished - 9 Dec 2013

ID: 22930272