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

In: International Journal of RFID Security and Cryprography (IJRFIDSC), Vol. 3, No. 2, 12.2014, p. 156-169.

Research output: Contribution to journalArticle

Published

Documents

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
Pages (from-to)156-169
Number of pages14
JournalInternational Journal of RFID Security and Cryprography (IJRFIDSC)
Volume3
Issue number2
Publication statusPublished - Dec 2014
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 25731124