Active attack against HB+: a provably secure lightweight authentication protocol

2005 ◽  
Vol 41 (21) ◽  
pp. 1169 ◽  
Author(s):  
H. Gilbert ◽  
M. Robshaw ◽  
H. Sibert
Keyword(s):  
Authentication Protocol ◽  
Active Attack ◽  
Lightweight Authentication ◽  
Provably Secure

scholarly journals TC-PSLAP: Temporal Credential-Based Provably Secure and Lightweight Authentication Protocol for IoT-Enabled Drone Environments

2021 ◽  
Vol 2021 ◽  
pp. 1-10
Author(s):  
Zeeshan Ali ◽  
Bander A. Alzahrani ◽  
Ahmed Barnawi ◽  
Abdullah Al-Barakati ◽  
Pandi Vijayakumar ◽  
...  
Keyword(s):  
Smart Cities ◽  
Security Analysis ◽  
Authentication Protocol ◽  
Time Data ◽  
Session Key ◽  
Privacy And Security ◽  
Security Issues ◽  
Lightweight Authentication ◽  
Secure Authentication ◽  
Provably Secure

In smart cities, common infrastructures are merged and integrated with various components of information communication and technology (ICT) to be coordinated and controlled. Drones (unmanned aerial vehicles) are amongst those components, and when coordinated with each other and with the environment, the drones form an Internet of Drones (IoD). The IoD provides real-time data to the users in smart cities by utilizing traditional cellular networks. However, the delicate data gathered by drones are subject to many security threats and give rise to numerous privacy and security issues. A robust and secure authentication scheme is required to allow drones and users to authenticate and establish a session key. In this article, we proposed a provably secure symmetric-key and temporal credential-based lightweight authentication protocol (TC-PSLAP) to secure the drone communication. We prove that the proposed scheme is provably secure formally through the automated verification tool AVISPA and Burrows–Abadi–Needham logic (BAN logic). Informal security analysis is also performed to depict that the proposed TC-PSLAP can resist known attacks.

scholarly journals A Lightweight Authentication Protocol for UAV Networks Based on Security and Computational Resource Optimization

IEEE Access ◽  
2021 ◽  
Vol 9 ◽  
pp. 53769-53785
Author(s):  
Yuan Lei ◽  
Lining Zeng ◽  
Yan-Xing Li ◽  
Mei-Xia Wang ◽  
Haisheng Qin
Keyword(s):  
Authentication Protocol ◽  
Resource Optimization ◽  
Computational Resource ◽  
Lightweight Authentication
Sign in / Sign up

Export Citation Format

Share Document