Formal Security Analysis of ECC-Based RFID in Logic of Events Theory

Formal Security Analysis of ECC-Based RFID in Logic of Events Theory

Radio frequency identification (RFID) is a crucial component of the Internet of Things (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 commercialisation and la...

Full description

Bibliographic Details
Main Authors: Meihua Xiao, Quangang Chen, Zehuan Li, Yuqiong Chen, Ruihan Xu
Format: Article
Language:English
Published: MDPI AG 2023-07-01
Series:Electronics
Subjects:
formal methods
logic of events theory
IoT
authentication protocol
ECC-based RFID
theorem proving
Online Access:https://www.mdpi.com/2079-9292/12/15/3286

Similar Items

Similar Items