NDLI: Formal Analysis and Improvement on Ultralightweight Mutual AuthenticationProtocols of RFID

Content Provider	IET Digital Library
Author	O, Meihua X I A I, Wei L G, Xiaomei Z H O N G, Ke Y A N N, Jia C H E
Abstract	Ultralightweight mutual authentication protocols (UMAP) of Radio frequency identification (RFID) systems have attracted much attention from researchers. Many studies reveal that most of UMAP suffer malicious attack. To improve security of UMAP, formal analysis is performed with Simple promela interpreter (SPIN). Two typical UMAPs, which are RCIA and RAPP, are selected as our case study. A protocol abstract modeling method is presented to make UMAP can be formalized simply. Using SPIN, verification results show that RCIA and RAPP are both vulnerable against desynchronization attack. A Generalized model of UMAP (G-UMAP) and a general patching scheme are presented for resisting the attack. To validate the patching scheme, formal verification is then performed for the improved protocol. SPIN verification shows that the improved RCIA and RAPP both gain higher security. The above proposed modeling method has great significance for similar UMAP analyzing, and the proposed patching scheme is proved to be practical and reliable.
Starting Page	1025
Ending Page	1032
Page Count	8
ISSN	10224653
Volume Number	28
e-ISSN	20755597
Issue Number	Issue 5, Sep (2019)
Alternate Webpage(s)	https://digital-library.theiet.org/content/journals/cje/28/5
Alternate Webpage(s)	https://digital-library.theiet.org/content/journals/10.1049/cje.2019.06.022
Journal	Chinese Journal of Electronics
Publisher Date	2019-09-01
Access Restriction	Open
Rights Holder	© Chinese Institute of Electronics
Subject Keyword	Cryptographic Protocols Cryptography Data Security Formal Analysis Formal Method Formal Verification G-UMAP Improved Protocol Improved RCIA Malicious Attack Patching Scheme Performance Evaluation Protocol Protocol Abstract Modeling Method Radio Frequency Identification System Radiofrequency Identification RAPP Recursive Function RFID RFID System Similar UMAP Analyzing SPIN Verification Telecommunication Security Typical UMAPs Ubiquitous Computing Ultralightweight Mutual Authentication Protocol
Content Type	Text
Resource Type	Article
Subject	Applied Mathematics Electrical and Electronic Engineering

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

On the Security of Chien's Ultralightweight RFID Authentication Protocol

Group-based key array authentication protocol in radio frequency identification systems

Efficient serverless radio-frequency identification mutual authentication and secure tag search protocols with untrusted readers

SASI: A New Ultralightweight RFID Authentication Protocol Providing Strong Authentication and Strong Integrity

Cryptanalysis of a New Ultralightweight RFID Authentication Protocol—SASI

A New Ultralightweight RFID Authentication Protocol with Permutation

On Ultralightweight RFID Authentication Protocols

Untraceability Analysis of Two RFID Authentication Protocols

A hash-based RFID security protocol for strong privacy protection

Formal Analysis and Improvement on Ultralightweight Mutual AuthenticationProtocols of RFID

Similar Documents

On the Security of Chien's Ultralightweight RFID Authentication Protocol

Group-based key array authentication protocol in radio frequency identification systems

Efficient serverless radio-frequency identification mutual authentication and secure tag search protocols with untrusted readers

SASI: A New Ultralightweight RFID Authentication Protocol Providing Strong Authentication and Strong Integrity

Cryptanalysis of a New Ultralightweight RFID Authentication Protocol—SASI

A New Ultralightweight RFID Authentication Protocol with Permutation

On Ultralightweight RFID Authentication Protocols

Untraceability Analysis of Two RFID Authentication Protocols

A hash-based RFID security protocol for strong privacy protection

Formal Analysis and Improvement on Ultralightweight Mutual AuthenticationProtocols of RFID