Abstract: The stochastic propagation model of worms in Internet of vehicles is presented based on stochastic process theory. The modeling of worms in Internet of vehicles is divided into the ideal environment in Internet of vehicles without security software protection and the real environment with security software protection. In the ideal case, worms in Internet of vehicles are modeled based on the Galton-Watson branching process, and it is proven that the extinction probability of worms in Internet of vehicles is only related to the traffic flow, but is not related to the probability distribution of the traffic flow. In reality, when the highway traffic flow follows Poisson distribution, worms in Internet of vehicles are modeled based on queuing theory and the stability condition is researched. When the traffic flow of the freeway follows the normal distribution, worms in Internet of vehicles are modeled based     on the Markov chain. Finally, the stochastic propagation model of worms in Internet of vehicles is verified by the simulation.

Key words: network security, worms in Internet of vehicles, stochastic propagation model

摘要： 基于随机过程理论提出车联网蠕虫的随机传播模型。对于车联网蠕虫的建模分为没有安全软件防护的理想车联网环境和有安全软件防护的现实环境两种情况。在理想情况下，基于Galton-Watson分支过程对于车联网蠕虫进行了数学建模，并且证明车联网蠕虫传播的灭绝概率只与车流有关，而与车流的概率分布形式无关；在现实情况下，当高速公路车流符合泊松分布时，基于排队论对于车联网蠕虫进行了建模，并且研究了其稳定性条件。当高速公路车流符合正态分布时，基于马尔可夫链对于车联网蠕虫进行了建模。最后，通过仿真实验验证了车联网蠕虫的随机传播模型。

关键词: 网络安全, 车联网蠕虫, 随机传播模型