En entornos de Internet de los Vehículos (IoV), los vehículos y las unidades de carretera (RSUs) se comunican predominantemente a través de canales públicos. Estos vehículos y RSUs intercambian diversos datos, como densidad de tráfico, ubicación, velocidad, etc. Por lo tanto, se necesitan autenticación segura y eficiente y establecimiento de claves (AKE) para garantizar la privacidad del usuario al intercambiar datos entre vehículos y RSUs. Recientemente, se ha propuesto un esquema AKE seguro y computacionalmente para construir entornos IoV seguros. En su investigación, los autores afirmaron que su esquema AKE proporciona propiedades de seguridad completas, protegiendo contra diversas amenazas potenciales al mismo tiempo que garantiza la integridad de la clave de sesión, una autenticación mutua sólida. Este documento demostró que el esquema anterior no previene varios ataques utilizando análisis lógicos y matemáticos. Además, demostramos que este esquema no cumple con los requisitos de seguridad esenciales y la corrección de las suposiciones de seguridad. Realizamos la prueba de simulación utilizando AVISPA, que es conocido como una herramienta de verificación formal. Para mejorar la resistencia de los ataques, proponemos soluciones destinadas a desarrollar un AKE más robusto y eficiente para entornos IoV.