CAJ | 학술논문

针对威胁计算机网络安全的病毒攻击行为，建立了基于Petri网的病毒入侵网络基本模型，利用CPN tools仿真工具分析了模型的活性和各个库所的有界性，以利于采取有效的网络防御措施和建立安全的防御体系。利用安全策略域、域间通信信道的概念，根据病毒入侵传播的特性，建立了基于随机着色 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.