Quantum-Safe Authentication Protocol Using Post-Quantum Key Encapsulation Mechanism for Transportation Systems | IEEE Conference Publication | IEEE Xplore