《计算机应用研究》|Application Research of Computers

基于层次Petri网的信息物理融合系统安全博弈建模

Security game modeling of cyber-physical systems based on hierarchical Petri nets

免费全文下载 (已被下载 次)  
获取PDF全文
作者 崔文岩,孟相如
机构 1.94543部队,山东 济宁 272400;2.空军工程大学 信息与导航学院,西安 710077
统计 摘要被查看 次,已被下载
文章编号 1001-3695(2017)08-2439-04
DOI 10.3969/j.issn.1001-3695.2017.08.045
摘要 随着信息物理融合系统在工业中的广泛应用,系统安全已成为关注的焦点,信息物理融合系统的物理依赖和信息驱动特点使其面临信息物理双重威胁。为更加有效地进行应对,采取最佳防御策略,建立了基于层次Petri网的信息物理安全分析模型,并给出了描述攻防博弈策略的博弈网模型,进行了安全博弈分析,构建了纳什均衡策略,并采用萤火虫群算法进行了求解。最后以防空网络为实例进行了模拟分析,验证了模型的有效性。
关键词 信息物理融合系统;安全;Petri网;博弈论
基金项目 国家自然科学基金资助项目(61201299)
本文URL http://www.arocmag.com/article/01-2017-08-045.html
英文标题 Security game modeling of cyber-physical systems based on hierarchical Petri nets
作者英文名 Cui Wenyan, Meng Xiangru
机构英文名 1.PLAof94543,JiningShandong272400,China;2.CollegeofInformation&Navigation,AirForceEngineeringUniversity,Xi'an710077,China
英文摘要 For wide application of evolution of cyber-physical systems (CPS) in the industry, security has been an important issue. The characters of physical dependence and information driven expose the CPS to the risk of cyber-physical threats. To effectively address the problems, this paper constructed a cyber-physical attacking model based on hierarchical Petri nets. Furthermore, it built a game network model of attack-defense that represents attack-defense game strategies, and analyzed security gaming. Moreover, it adopted the glowworm swarm optimization algorithm to solve the Nash equilibrium issue. Finally, it implemented the security game analysis with the air defense network. Results prove the validity of proposed model.
英文关键词 cyber-physical systems; security; Petri net; game theory
参考文献 查看稿件参考文献
  [1] 司光亚, 胡晓峰, 王艳正. 新型作战空间建模仿真实践与体会[J] . 军事运筹与系统工程, 2014, 28(4):5-10.
[2] Yampolskiy M, Horváth P, Koutsoukos X. A language for describing attacks on cyber-physical systems[J] . International Journal of Critical Infrastructure Protection, 2015, 8(10):40-52.
[3] Li Zhiyi, Shahidehpour M, Alabdulwahab A, et al. Bilevel model for analyzing coordinated cyber-physical attacks on power systems[J] . IEEE Trans on Smart Grid, 2015, 7(5):2260-2272.
[4] Vellaithurai C, Biswas S, Srivastava A. Development and application of a real-time test bed for cyber-physical system[J] . IEEE Systems Journal, 2015, 99(11):1-12.
[5] 景博, 周伟, 黄以锋, 等. 信息物理融合系统及其应用[J] . 空军工程大学学报:自然科学版, 2014, 15(2):1-6.
[6] 徐昕, 虞慧群, 黄骏虎. 基于Petri网的CPS系统安全量化分析模型[J] . 计算机工程与应用, 2014, 50(3):82-88.
[7] Chen T M, Sanchez-Aarnoutse J C S, Buford J. Petri net modeling of cyber-physical attacks on smart grid[J] . IEEE Trans on Smart Grid, 2011, 2(4):741-749.
[8] 王元卓, 林闯, 程学旗. 基于随机博弈模型的网络攻防量化分析方法[J] . 计算机学报, 2010, 33(9):1748-1762.
[9] 林闯, 王元卓, 汪洋. 基于随机博弈模型的网络安全分析与评价[M] . 北京:清华大学出版社, 2011.
[10] Krishnanand K, Ghose D. Glowworm swarm optimization for simultaneous capture of multiple local optima of multimodal functions[J] . Swarm Intelligence, 2009, 3(2):87-124.
[11] 李纪真, 孟相如, 温祥西. 萤火虫群算法优化高斯过程的网络安全态势预测[J] . 系统工程与电子技术, 2015, 37(8):1887-1893.
[12] Wu Bin, Qian Cunhua, Ni Weihong, et al. The improvement of glowworm swarm optimization for continuous optimization problems[J] . Expert Systems with Applications, 2012, 39(7):6335-6342.
[13] 黄仁全, 李为民, 王春阳. 防空体系反制网电攻击的UML与Petri网模型[J] . 现代防御技术, 2012, 40(2):17-23.
[14] 周晓光, 李为民, 谢鑫. 多层反导体系火力部署优化[J] . 空军工程大学学报:自然科学版, 2011, 12(3):40-44.
[15] Blackhurst J, Wu Tong, Craighead C W. A systematic approach for supply chain conflict detection with a hierarchical Petri net extension[J] . Omega, 2008, 36(5):680-696.
[16] Irifune T, Kitamura A. Construction method for hierarchical Petri net model based on genetic algorithm and its application[J] . Trans of the Institute of Systems Control & Information Engineers, 2012, 25(8):204-210.
收稿日期 2016/5/20
修回日期 2016/7/25
页码 2439-2442
中图分类号 TP393.08
文献标志码 A