摘要
针对工业互联网中日益凸显的安全问题,结合Petri网和行为轮廓的相关理论,建立了基于Petri网的工业互联网入侵检测流程模型。首先通过分析原模型中的行为弱序关系,探讨了模型中存在的活性问题。再从检测流程中数据的安全性和完备性方面对原模型进行优化。最后使用PM4PY编程和PIPE仿真软件验证了优化后的模型具有良好的性质。
In response to the increasingly prominent security issues in the industrial internet,a Petri network-based intrusion detection process model is established by combining the relevant theories of Petri nets and behavior profiles.Firstly,by analyzing the weak order relationship of behavior in the original model,the activity issues in the model are explored.Then,it optimizes the original model from the aspects of data security and completeness in the detection process.Finally,the optimized model is verified to have good properties using PM4PY programming and PIPE simulation software.
作者
左殷恺
陶小燕
ZUO Yinkai(School of Mathematics and Big Data,Anhui University of Science and Technology,Huainan Anhui 232001,China)
出处
《长春工程学院学报（自然科学版）》
2023年第2期115-120,共6页
Journal of Changchun Institute of Technology：Natural Sciences Edition
基金
国家自然科学基金资助项目(61572035)。
关键词
PETRI网
工业互联网
入侵检测
建模优化
Petri net
industrial internet
intrusion detection
modeling optimization
