基于Petri网的病毒攻击建模

摘要

针对威胁计算机网络安全的病毒攻击行为，建立了基于Petri网的病毒入侵网络基本模型，利用CPN tools仿真工具分析了模型的活性和各个库所的有界性，以利于采取有效的网络防御措施和建立安全的防御体系。利用安全策略域、域间通信信道的概念，根据病毒入侵传播的特性，建立了基于随机着色 Petri 网的企业网络模型，并给出了用该模型模拟与安全相关网络行为的方法。%Virus attacks increasingly threaten the computer network. A preliminary model of virus invasion was established based on Petri net,and the activity of the model and the bounds of different places were analyzed by using CPN simulation tools. This model will help to adopt effective defense measures for the network and establish defense systems. Using the concepts of security policy domain and the communication channels of domain,and according to the characteristics of the dissemination of the virus invasion,a model of enterprise network was established based on the stochastic colored Petri net, and the network behavior related to security with this model was introduced in detail.