scholarly journals Proving authentication property of PUF-based mutual authentication protocol based on logic of events

2021 ◽  
Author(s):  
Jiawen Song ◽  
Meihua Xiao ◽  
Tong Zhang ◽  
Haoyang Zhou
Keyword(s):  
Protocol Analysis ◽  
Mutual Authentication ◽  
Hardware Security ◽  
Authentication Protocol ◽  
Interaction Process ◽  
Authentication Protocols ◽  
Analysis Process ◽  
Security Properties ◽  
And Behavior ◽  
Mutual Authentication Protocol

AbstractPUF (Physical unclonable function) is a new hardware security primitive, and the research on PUFs is one of the emerging research focuses. For PUF-based mutual authentication protocols, a method to abstract the security properties of hardware by using logic of events is proposed, and the application aspects of logic of events are extended to protocols based on hardware security. With the interaction of PUF-based mutual authentication protocol formally described by logic of events, the basic sequences are constructed and the strong authentication property in protocol interaction process is verified. Based on the logic of events, the freshness of nonces is defined, and the persist rule is proposed according to the concept of freshness, which ensures the consistency of the protocol state and behavior predicate in the proof process, and reduces the complexity and redundancy in the protocol analysis process. Under reasonable assumptions, the security of the protocol is proven, and the fact that logic of events applies to PUF-based mutual authentication protocols is shown.

scholarly journals Cost and Lightweight Modeling Analysis of RFID Authentication Protocols in Resource Constraint Internet of Things

2017 ◽  
Vol 10 (3) ◽  
pp. 179
Author(s):  
Adarsh Kumar ◽  
Krishna Gopal ◽  
Alok Aggarwal
Keyword(s):  
Internet Of Things ◽  
Radio Frequency ◽  
Radio Frequency Identification ◽  
Mutual Authentication ◽  
Authentication Protocol ◽  
Resource Constraint ◽  
Authentication Protocols ◽  
Pervasive Environment ◽  
Rfid Authentication Protocols ◽  
Mutual Authentication Protocol

Internet of Things (IoT) is a pervasive environment to interconnect the things like: smart objects, devices etc. in a structure like internet. Things can be interconnected in IoT if these are uniquely addressable and identifiable. Radio Frequency Identification (RFID) is one the important radio frequency based addressing scheme in IoT. Major security challenge in resource constraint RFID networks is how to achieve traditional CIA security i.e. Confidentiality, Integrity and Authentication. Computational and communication costs for Lightweight Mutual Authentication Protocol (LMAP), RFID mutual Authentication Protocol with Permutation (RAPP) and kazahaya authentication protocols are analyzed. These authentication protocols are modeled to analyze the delays using lightweight modeling language. Delay analysis is performed using alloy model over LMAP, RAPP and kazahaya authentication protocols where one datacenter (DC) is connected to different number of readers (1,5 or 10) with connectivity to 1, 5 or 25 tags associated with reader and its results show that for LMAP delay varies from 30-156 msec, for RAPP from 31-188 while for kazahaya from 61-374 msec. Further, performance of RFID authentication protocols is analyzed for group construction through more than one DC (1,5 or 10) with different number of readers (10, 50 or 100) and tags associated with these readers (50, 500, 1000) and results show that DC based binary tree topology with LMAP authentication protocol is having a minimum delay for 50 or 100 readers. Other authentication protocols fail to give authentication results because of large delays in the network. Thus, RAPP and Kazahaya are not suitable for scenarios where there is large amount of increase in number of tags or readers.

scholarly journals Secure Three-Factor Authentication Protocol for Multi-Gateway IoT Environments

Sensors ◽  
2019 ◽  
Vol 19 (10) ◽  
pp. 2358 ◽  
Author(s):  
JoonYoung Lee ◽  
SungJin Yu ◽  
KiSung Park ◽  
YoHan Park ◽  
YoungHo Park
Keyword(s):  
Open Channel ◽  
Mutual Authentication ◽  
Authentication Protocol ◽  
Internet Security ◽  
Authentication Protocols ◽  
Session Key ◽  
Security Issues ◽  
Smart Factories ◽  
Mutual Authentication Protocol ◽  
Three Factor

Internet of Things (IoT) environments such as smart homes, smart factories, and smart buildings have become a part of our lives. The services of IoT environments are provided through wireless networks to legal users. However, the wireless network is an open channel, which is insecure to attacks from adversaries such as replay attacks, impersonation attacks, and invasions of privacy. To provide secure IoT services to users, mutual authentication protocols have attracted much attention as consequential security issues, and numerous protocols have been studied. In 2017, Bae et al. presented a smartcard-based two-factor authentication protocol for multi-gateway IoT environments. However, we point out that Bae et al.’s protocol is vulnerable to user impersonation attacks, gateway spoofing attacks, and session key disclosure, and cannot provide a mutual authentication. In addition, we propose a three-factor mutual authentication protocol for multi-gateway IoT environments to resolve these security weaknesses. Then, we use Burrows–Abadi–Needham (BAN) logic to prove that the proposed protocol achieves secure mutual authentication, and we use the Automated Validation of Internet Security Protocols and Applications (AVISPA) tool to analyze a formal security verification. In conclusion, our proposed protocol is secure and applicable in multi-gateway IoT environments.

scholarly journals A Realistic Lightweight PUF-based Mutual Authentication in RFID Environments

2021 ◽  
Author(s):  
E Haodudin Nurkifli
Keyword(s):  
Mutual Authentication ◽  
Authentication Protocol ◽  
Rfid Security ◽  
Security Problem ◽  
Security Properties ◽  
Mutual Authentication Protocol

This research proposes a realistic mutual authentication protocol using non-ideal PUF in an RFID environment. Initially, we evaluate and show the weaknesses of two popular schemes, Gope et al.'s and Feng Zhu et al.'s schemes; based on our investigation, their schemes fail to achieve several security features and cannot withstand various attacks. Later, we propose a new scheme to resolve the problem their schemes and provide the solution for the RFID security problem generically. Analyzes informal and formal are used to ensure that our proposal fulfills security properties and withstands various attacks.

scholarly journals A Realistic Lightweight PUF-based Mutual Authentication in RFID Environments

2021 ◽  
Author(s):  
E Haodudin Nurkifli
Keyword(s):  
Mutual Authentication ◽  
Authentication Protocol ◽  
Rfid Security ◽  
Security Problem ◽  
Security Properties ◽  
Mutual Authentication Protocol

This research proposes a realistic mutual authentication protocol using non-ideal PUF in an RFID environment. Initially, we evaluate and show the weaknesses of two popular schemes, Gope et al.'s and Feng Zhu et al.'s schemes; based on our investigation, their schemes fail to achieve several security features and cannot withstand various attacks. Later, we propose a new scheme to resolve the problem their schemes and provide the solution for the RFID security problem generically. Analyzes informal and formal are used to ensure that our proposal fulfills security properties and withstands various attacks.

RFID Security Authentication Protocol Based on Hash for the Lightweight RFID Systems

2013 ◽  
Vol 380-384 ◽  
pp. 2831-2836
Author(s):  
Hong He ◽  
Qi Li ◽  
Zhi Hong Zhang
Keyword(s):  
Mutual Authentication ◽  
Authentication Protocol ◽  
Authentication Protocols ◽  
Privacy And Security ◽  
Rfid Systems ◽  
Security Authentication ◽  
Rfid System ◽  
Significant Performance ◽  
Rfid Authentication Protocols ◽  
Mutual Authentication Protocol

In order to solve the RFID authentication protocols, a new mutual authentication protocol based on Hash for the lightweight RFID system is proposed in this paper. Compared with several RFID authentication protocols with the similar structure, the proposed protocol can effectively solve the privacy and security of the RFID system, and it has significant performance advantages. It greatly reduces the amount storage and computation of tags.

Design and Analysis of a Low-Cost Mutual Authentication Protocol for RFID

2014 ◽  
Vol 543-547 ◽  
pp. 2255-2261
Author(s):  
Bing Zhang ◽  
Zhi Guang Qin ◽  
Guo Gen Wan ◽  
Xin Xin Ma
Keyword(s):  
Location Privacy ◽  
Simulation Experiment ◽  
Low Cost ◽  
Mutual Authentication ◽  
Authentication Protocol ◽  
Authentication Protocols ◽  
Comparison Result ◽  
Correctness Proof ◽  
Rfid Systems ◽  
Mutual Authentication Protocol

This document analyzes the security drawback of the Hash-based algorithm authentication protocols which is frequently used in low-cost RFID systems, and proposes a lightweight mutual authentication protocol. In the proposed protocol, all authenticated information is encrypted , the location privacy is also provided by refreshing an identifier of a tag in each session and lost massages can be recovered from many attacks such as spoofing attacks. The comparison result of the simulation experiment and the formal correctness proof of the proposed authentication protocol is based on BAN logic. It shows that the proposed protocol in this article greatly enhance the capability of verifiability, confidentiality and integrality, it also corrects the existing Hash-based protocol secure deficiency so that it is more suitable for low-cost RFID systems than those existing ones.

Sign in / Sign up

Export Citation Format

Share Document