A systematic security and vulnerability assessment of LDACS authentication and mobility mechanisms using formal symbolic verification with the Tamarin prover provides formal evidence that the analyzed security mechanisms effectively mitigate cyber risks and enhance operational resilience, thereby supporting the safety objectives of next-generation LDACS-based air–ground communication systems.
A lightweight cross-domain mutual authentication scheme (LCMA) for IoV that reduces the need to maintain a large-scale pre-stored CRP database while avoiding repeated reuse of static authentication materials and achieves low computational and communication overhead in comparison with representative schemes.
Xiyuan Ma, Junbeom Hur· Journal of King Saud Univers...· 0 citations
Existing architectures of Distributed Mobility Management (DMM) present
a critical security gap as they typically lack dedicated security frameworks
and they rely on poor security at Layer 2. This vulnerability is more critical
in the context of Tunnel-Free DMM (TFDMM) environments where direct
communication exists bet...
Sayali N. Mane, Dilip.G.· European Journal of Prosthod...· 0 citations
A PUF-based quantum authentication and key agreement protocol for V2G scenarios, which deeply binds classical PUF responses with quantum gate transformation techniques to achieve an efficient joint verification mechanism and achieves lightweight, anonymous, mutual, and dual-factor identity authentication alongside secu...
Jin-Wang Zhao, Run-Hua Shi, Can Wang et al.· Physica Scripta· 0 citations
Electric Vehicles (EVs) now function as both energy consumers and producers within the energy internet-enabled smart grid, enabling bidirectional energy exchange with the grid. To facilitate secure Vehicle-to-Grid (V2G) communication, mutual authentication between EVs and charging stations (CSs) over open wireless chan...
Nahida Majeed Wani, Girraj Kumar Verma, Saurabh Rana et al.· IEEE Transactions on Informa...· 0 citations
Secure authentication, confidentiality, and communication privacy are critical requirements in mission-critical Internet of Drones (IoD) applications such as disaster response, defense, border monitoring, and surveillance, where Unmanned Aerial Vehicles (UAVs) are being increasingly used. Many lightweight authenticatio...
Kamal A. ElDahshan, Hani Saad Hassan Issa, H. M. Abbas· International journal of com...· 0 citations
EDAKA-IoV is presented, an elliptic-curve-cryptography-based AKA scheme that separates admission filtering from end-to-end session-key establishment and provides a balanced authentication solution for resource-sensitive IoV deployments.
