A mutual authentication protocol for low-cost RFID tags formally verified using CasperFDR and AVISPA

2013 ◽  
Author(s):  
Sarah Abughazalah ◽  
Kostantinos Markantonakis ◽  
Keith Mayes
Keyword(s):  
Low Cost ◽  
Mutual Authentication ◽  
Authentication Protocol ◽  
Rfid Tags ◽  
Mutual Authentication Protocol

scholarly journals A Secure RFID Authentication Protocol Adopting Error Correction Code

2014 ◽  
Vol 2014 ◽  
pp. 1-12 ◽  
Author(s):  
Chien-Ming Chen ◽  
Shuai-Min Chen ◽  
Xinying Zheng ◽  
Pei-Yu Chen ◽  
Hung-Min Sun
Keyword(s):  
Error Correction ◽  
Low Cost ◽  
Mutual Authentication ◽  
Authentication Protocol ◽  
Rfid Tags ◽  
Rfid Technology ◽  
Forward Secrecy ◽  
Error Correction Code ◽  
Mutual Authentication Protocol ◽  
Advanced Version

RFID technology has become popular in many applications; however, most of the RFID products lack security related functionality due to the hardware limitation of the low-cost RFID tags. In this paper, we propose a lightweight mutual authentication protocol adopting error correction code for RFID. Besides, we also propose an advanced version of our protocol to provide key updating. Based on the secrecy of shared keys, the reader and the tag can establish a mutual authenticity relationship. Further analysis of the protocol showed that it also satisfies integrity, forward secrecy, anonymity, and untraceability. Compared with other lightweight protocols, the proposed protocol provides stronger resistance to tracing attacks, compromising attacks and replay attacks. We also compare our protocol with previous works in terms of performance.

M2AP: A Minimalist Mutual-Authentication Protocol for Low-Cost RFID Tags

2006 ◽  
pp. 912-923 ◽  
Author(s):  
Pedro Peris-Lopez ◽  
Julio Cesar Hernandez-Castro ◽  
Juan M. Estevez-Tapiador ◽  
Arturo Ribagorda
Keyword(s):  
Low Cost ◽  
Mutual Authentication ◽  
Authentication Protocol ◽  
Rfid Tags ◽  
Mutual Authentication Protocol
Sign in / Sign up

Export Citation Format

Share Document