El esquema de seguridad de Internet de los Vehículos (IoV) protege a los vehículos de los ataques de red. Sin embargo, durante la implementación experimental del IoV, las personas suelen prestar atención a su función y rendimiento, y solo desarrollan un esquema de seguridad empíricamente cuando se encuentran defectos de seguridad. Cuando un esquema de seguridad se vuelve muy complejo, es muy difícil encontrar la vulnerabilidad de seguridad y modificarla. En vista de esto, proponemos un método de verificación para verificar la seguridad de un esquema de seguridad en evolución. Este método utiliza métodos formales para verificar el esquema de seguridad en evolución, encuentra activamente los problemas de seguridad del esquema de seguridad y promueve la evolución del esquema de seguridad en consecuencia. Este método se aplica al escenario del IoV y su esquema de seguridad: el método hace evolucionar la configuración de Internet de los Vehículos y las propiedades de seguridad, establece un modelo formal correspondiente y luego verifica esto de manera iterativa utilizando un método formal. El enfoque puede simular completamente el proceso de evolución de un esquema de seguridad en el IoV durante la implementación, y puede encontrar de manera efectiva las vulnerabilidades de seguridad correspondientes, para promover el esquema de seguridad en evolución en el IoV, lo que respalda la viabilidad y usabilidad del método.