摘要
为了宏观地把握网络安全态势的状态,构建基于有色Petri网的网络安全态势感知模型,并进行了分析。针对所建立的模型利用CPN Tools对其结构进行分析和验证。经过仿真验证分析,证明所建立的模型在结构上无死锁、具有有界性和可达性且状态空间合理。
In order to grasp the state of network security situation macroscopically,a network security situation awarenessmodel based on colored Petri nets is constructed and analyzed. CPN Tools is used to analyze and validate the structure of model.Through model simulation and analysis,it is proved that the model is structurally free of deadlock,boundedness and reachability,and the state space is reasonable.
作者
惠馨雅
刘建华
刘浩
HUI Xinya;LIU Jianhua;LIU Hao(Xi'an University of Posts and Telecommunications,Xi'an 710000)
出处
《计算机与数字工程》
2019年第2期393-396,401,共5页
Computer & Digital Engineering
