KHALID, K.; ATTA UR RAHMAN; AHTHASHAM SAJID; BIBI SAQIA; MIAN, M. A. S.; REHMAN, M. U. Internet of Vehicles Environment Verification of Authentication Protocols using Formal Analysis: A Survey. The Nucleus, [S. l.], v. 61, n. 2, p. 79–92, 2024. Disponível em: http://202.83.167.189/index.php/Nucleus/article/view/1404. Acesso em: 23 dec. 2024.