Formal analysis of ECC-based RFID authentication protocol in logic of events theory-Reference-Cited by-同舟云学术

Formal analysis of ECC-based RFID authentication protocol in logic of events theory

Published:2023-04-19 Issue: Volume: Page:
ISSN:
Container-title:
language:
Short-container-title:

Author:

Xiao Meihua¹,Chen Quangang¹,Li Zehuan¹,Chen Yuqiong¹,Xu Ruihan¹

Affiliation:

1. East China Jiaotong University

Abstract

AbstractToday, the rapid development of the Internet of Things (IoT) has greatly affected human life, and the security analysis of authentication protocols in IoT is increasingly important. Radio Frequency Identification (RFID) is a crucial component of IoT, and RFID using Elliptic Curve Cryptography (ECC) is a public key cryptosystem authentication approach that tackles the problem of electronic tag data encryption in RFID systems. The formal method is one of the most powerful ways for verifying protocol security, and the Logic of Events Theory (LoET) is a theorem-proving formal logic for analyzing distributed system security. This paper proposes three event classes, Compute, Retrieve, and Generate, and related axioms and inference rules to formally abstract the ECC session key generation function, formally statute the authentication process of both parties, and the extended LoET is used to analyze the security properties of ECC-based RFID security protocols. Under reasonable assumptions, an ECC-based RFID two-way authentication scheme is shown to satisfy the two-way strong authentication feature. It is shown that the extended logic of event theory may be used to prove the security properties of this class of ECC-based RFID protocols.

Publisher

Research Square Platform LLC

Reference17 articles.

1. Efficient RFID Authentication Using Elliptic Curve Cryptography for the Internet of Things[J];Han;Wireless Pers. Commun.,2017

2. Pan, Y., Shan, Z., Dai, Q., et al.: CPK-ECC based mutual authentication protocol for large-scale RFID system[J].Journal on Communications,2017,38(08):165–171

3. Tuyls, P., Batina, L.. RFID-tags for anti-counterfeiting[C]//Topics in Cryptology–CT-RSA 2006: The Cryptographers’ Track at the RSA Conference 2006, San Jose, CA, USA, February: 13–17, Proceedings. Springer Berlin Heidelberg, 2006: 115–131. (2005)

4. Zhang, X., Li, L., Wu, Y., et al.: An ECDLP-based randomized key RFID authentication protocol[C]//2011 international conference on network computing and information security. IEEE, 2: 146–149. (2011)

5. Liao, Y.P., Hsiao, C.M.: A secure ECC-based RFID authentication scheme using hybrid protocols[C]// Advances in Intelligent Systems and Applications-Volume 2: Proceedings of the International Computer Symposium ICS 2012 Held at Hualien, Taiwan, December 12–14, 2012. springer Berlin Heidelberg, : 1–13. (2013)

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Analysis of DTLS-SRTP Combined Protocol Based on Logic of Events;Applied Sciences;2024-02-22