LB-RFID: Provably Secure Post-quantum Authentication Protocol for RFID Devices in Resource-constrained IoT Environment
摘要
The implementation of effective Radio Frequency Identification (RFID) security procedures has always been challenging due to the system’s limited computational capabilities. Traditional security techniques for RFID systems included symmetric-key cryptography, elliptic curve cryptography (ECC) and many more. However, these traditional protocols did not satisfy the RFID security criteria of futuristic technologies like quantum computers and were not effective in terms of storage, communication and implementation. To address these limitations, we propose a lattice-based authentication protocol for RFID (LB-RFID) systems using the Bi-ISIS (Bi-Inhomogeneous Small Integer Solution) problem. The formal and informal security analysis proof is also given in this paper. The formal security is validated by ROR (Real Or Random), CK (Canetti-Krawczyk) model and scyther tool. The outcomes demonstrated that the proposed LB-RFID has significantly lower communication and storage overheads than the traditional proposed techniques. The computation cost is computed in milliseconds (ms) by using PyCryptodome library. Therefore, the proposed protocol is well-suited for resource-constrained devices, such as RFID tags, in the era of quantum computing.