Electric vehicle (EV) technologies and charging infrastructure have developed rapidly, placing increasing pressure on transport systems to accommodate new forms of energy demand and mobility. While substantial progress has been made in individual technologies, system-level questions—particularly those related to infrastructure integration, interoperability, and coordination with energy networks—remain insufficiently addressed. This study provides a structured review of EV charging technologies and associated optimisation approaches from a transport systems perspective. Major charging modes, including conductive charging, wireless power transfer, and battery swapping, are examined in terms of their technical characteristics, deployment requirements, and suitability across different mobility contexts. The role of international standards is also considered, with emphasis on interoperability and the development of scalable, cross-regional charging networks. In addition, optimisation approaches are synthesised, focusing on charging station allocation, load management, and network coordination. These methods are discussed in relation to their capacity to improve accessibility, balance demand, and support the efficient operation of coupled transport–energy systems. Despite continued advances, several structural challenges persist, including uneven infrastructure distribution, limited standard alignment, and insufficient coordination between transport planning and energy management. Addressing these issues will be critical for enabling large-scale EV adoption and supporting the transition towards low-carbon and resilient mobility systems.
Global Navigation Satellite Systems (GNSS) civil navigation messages (CNAVs) remain vulnerable to spoofing and meaconing due to their open broadcast nature. TrustCNAV, originally proposed as a certificateless aggregate authentication scheme, aims to provide efficient verification with low receiver overhead. However, its practical robustness under realistic deployment conditions remains insufficiently examined. This study presents a systematic security reassessment and a hardened redesign of TrustCNAV with particular attention to transport-relevant constraints. The analysis identifies critical vulnerabilities, including signing-key exposure under nonce reuse and forgery risks arising from unauthenticated public-parameter updates. To address these issues, an improved protocol variant is developed, incorporating deterministic nonce generation, authenticated parameter distribution, and epoch-consistent batch verification. In addition to protocol redesign, a bounded symbolic trace-exploration approach is introduced to evaluate the security properties of both the original and improved schemes. A communication overhead model at the bit level is also established to reflect CNAV bandwidth constraints. The results indicate that the improved design effectively mitigates the identified vulnerabilities while maintaining a pairing-free structure and acceptable computational cost. The findings highlight the importance of integrating protocol security with system-level considerations, particularly in transport environments where authentication delay and failure may directly affect operational safety.