Abstract:Simple authentication protocols based on conventional physical unclonable functions (PUF) are vulnerable to modeling attacks and other security threats. This paper proposes an arbiter PUF based on a linear feedback shift register (LFSR-APUF). Different from the previously reported linear feedback shift register for challenge extension, the proposed scheme feeds the external random challenges into the LFSR module to obfuscate the linear mapping relationship between the challenge and response. It can prevent attackers from obtaining valid challenge-response pairs (CRPs), increasing its resistance to modeling attacks significantly. A 64-stage LFSR-APUF has been implemented on a field programmable gate array (FPGA) board. The experimental results reveal that the proposed design can effectively resist various modeling attacks such as logistic regression (LR), evolutionary strategy (ES), Artificial Neuro Network (ANN), and support vector machine (SVM) with a prediction rate of 51.79% and a slight effect on the randomness, reliability, and uniqueness. Further, a lightweight authentication protocol is established based on the proposed LFSR-APUF. The protocol incorporates a low-overhead, ultra-lightweight, novel private bit conversion Cover function that is uniquely bound to each device in the authentication network. The proposed authentication protocol not only resists spoofing attacks, physical attacks, and modeling attacks effectively, but also ensures the security of the entire authentication network by transferring important information in encrypted form from the server to the database even when the attacker completely controls the server.

The Modeling Method of Cryptography Protocols Based on Modified Finite State Machine

Modeling and Simulation Strategies of Cryptographic Protocols Based on Finite State Machine

np-FSM-based Distributed Protocol Virtual Multi-port Test Method

Design and Implementation of Embedded Finite State Machines in CAD Systems

Cryptographic protocol conformance testing based on domain-specific state machine

Model Checking and Cryptographic Protocol Analysis

Usp: Modeling Security Protocol With Umlll

A Cryptosystem Based on Simple Physical Models

A New Analysis Method of Cryptographic Protocols

Modeling and Testing of Network Protocols with Parallel State Machines.

Extracting Protocol Format as State Machine via Controlled Static Loop Analysis

Research on computer-aided formal modeling for security protocol code

Modeling and Verifying Cryptographic Protocols Using SPIN

Modeling and Analyzing Sliding Window Protocol with Improved Cpn Modeling Method

Hardware-in-the-loop network simulation method for cryptographic protocols

A Novel Method Of State Identification Sequences Generation For Testing Communication Protocols Modeled As Extended Finite State Machines

Modeling Linear and Non-linear Layers: An MILP Approach Towards Finding Differential and Impossible Differential Propagations

Establishment and Application of Cryptographic Library Model

Automatic Cryptographic Protocol Analysis

A Lightweight Authentication Protocol Against Modeling Attacks Based on a Novel LFSR-APUF

Protocol Specification Inference Based on Keywords Identification