On Modeling Protocol-Based Clustering Tag in RFID Systems with Formal Security Analysis

Abstract

This paper presents an efficiency and adaptive cryptographic protocol to ensure users' privacy and data integrity in RFID system. Radio Frequency Identification technology offers more intelligent systems and applications, but privacy and security issues have to be addressed before and after its adoption. The design of the proposed model is based on clustering configuration of the involved tags where they interchange the data with the reader whenever it sends a request. This scheme provides a strong mutual authentication framework that suits for real heterogeneous RFID applications such as in supply-chain management systems, healthcare monitoring and industrial environment. In addition, we contribute with a mathematical analysis to the delay analysis and optimization in a clustering topology tag-based. Finally, a formal security and proof analysis is demonstrated to prove the effectiveness of the proposed protocol and that achieves security and privacy.

Formal Analysis and Improvement on Ultralightweight Mutual Authentication Protocols of RFID

“…to verify security properties of UMAPs. Bruce [18] demonstrated BAN logic to prove the security and privacy of the proposed RFID protocol. Also, Qingling C [19] performed BAN logic analysis about the security of a minimalist mutual authentication Protocol.…”