2026· IEEE Transactions on Information Forensics and Security· Vol 21, pp. 7530-7544· 0 citations· 64 references
Abstract
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 channels is crucial. While several authentication schemes have been proposed, most are vulnerable to post-quantum threats. To address this gap, this article presents an efficient lattice-based lightweight authentication protocol specifically designed for V2G communication. The protocol’s security is rigorously validated through formal analysis and formal security verification using an automated verification tool, known as the Automated Validation of Internet Security Protocols and Applications (AVISPA) tool. Additionally, an informal security analysis is performed to evaluate resilience against practical attacks. Moreover, comprehensive performance simulations confirm the protocol’s efficiency and feasibility for real-world V2G communication.
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
Internet of Drones (IoD) is increasingly used in smart cities for surveillance, traffic monitoring, and emergency response. However, the open wireless environment and the rise of quantum computing pose serious threats to existing drone authentication schemes. This work introduces a lightweight Commutative Supersingular...
Debnath Ghosh, Basudeb Bera, Ashok Kumar Das et al.· Proceedings of the 7th Inter...· 0 citations
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...
This paper proposes a novel blockchain-based cross-TA authentication and key agreement protocol for IoV environments that achieves both high security and computational efficiency.
G. O. Ghadim, P. Rastegari, Mohammad Dakhilalian et al.· Cluster Computing· 0 citations
Wireless sensor networks (WSNs) are pervasively employed in critical domains such as smart healthcare, industrial automation, and environmental surveillance, where secure access control is essential. User authentication protocols are vital for thwarting unauthorized intrusions, yet the vast majority of existing schemes...
Vehicle-to-Vehicle (V2V) communication in Vehicular Ad Hoc Networks (VANETs) is vulnerable to impersonation, privacy leakage, and other security threats over open wireless channels. Existing authentication schemes commonly rely on a centralized trusted authority (TA), resulting in increased latency and limited scalabil...
Ji-Ping Li, Zhi-Xi Hu, Yi-Ning Liu et al.· 2026 2nd International Confe...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.