灵境卫士:基于ACP的网络安全平行监管研究  

ParaDefender:the parallel supervision for cybersecurity based on ACP

作　　者：陈晓光 韩金朋 杨满智 王晓[3] 刘昕[4] 王震 王飞跃 CHEN Xiaoguang;HAN Jinpeng;YANG Manzhi;WANG Xiao;LIU Xin;WANG Zhen;WANG Fei-Yue(Macao Institute of Systems Engineering,Macao University of Science and Technology,Macao,999078,China;School of Software Engineering,Xi'an Jiaotong University,Xi'an,710049,China;School of Artificial Intelligence,Anhui University,Hefei 230031,China;College of Computer Science and Technology,China University of Petroleum,Qingdao,266580,China;School of Cyberspace Security,Hangzhou Dianzi University,Zhejiang,310018,China;The State Key Laboratory for Management and Control of Complex Systems,Institute of Automation,Chinese Academy of Sciences,Beijing,100190,China;Beijing Huairou Academy of Parallel Sensing,Beijing,101407;Beijing Engineering Research Center of Intelligent Systems and Technology,Institute of Automation,Chinese Academy of Sciences,Beijing,100190,China)

机构地区：[1]澳门科技大学澳门系统工程研究所,中国澳门999078 [2]西安交通大学软件学院,陕西西安710049 [3]安徽大学人工智能学院,安徽合肥230031 [4]中国石油大学(华东)计算机科学与技术学院,山东青岛266580 [5]杭州电子科技大学网络空间安全学院,浙江杭州310018 [6]中国科学院自动化研究所复杂系统管理与控制国家重点实验室,北京100190 [7]北京怀柔平行传感智能研究院,北京101407 [8]中国科学院自动化研究所北京市智能化技术与系统工程技术研究中心,北京100190

出　　处：《智能科学与技术学报》2023年第2期247-253,共7页Chinese Journal of Intelligent Science and Technology

基　　金：国家重点研发计划(No.2018AAA0101502);国家电网有限公司总部“人在回路的大电网调控混合增强智能基础理论”配套项目。

摘　　要：网络安全起源于计算机网络的理论测试,而随着信息与通信技术的发展,网络安全风险呈现出来源广(volume)、方式多(variety)、过程隐(visibility)与损失高(value)的“4V”特性,与之相伴的是网络空间形态与复杂度的双重变化。近期兴起的元宇宙风潮,使以人为中心构建出的网络空间拥有映射出真实世界的能力,也将真实世界暴露在网络安全风险之下。然而,网络安全监管没有跟上网络空间的变化,仍然在网络空间中寻求解决之道。介绍了一种网络安全平行监管系统——灵境卫士,它基于人工系统、计算实验与平行执行的ACP方法搭建,从信息-物理-社会系统(cyber-physical-socialsystems,CPSS)的视角改善当前网络安全监管的窘境。展示了灵境卫士在电信反诈骗与工业物联网场景下的应用方案,为其在不同领域的网络安全监管工作提供启发与借鉴。Cybersecurity originated from the theoretical testing of computer networks.With the development of information and communication technology(ICT),cybersecurity threats present the"4V"characteristics of high source volume,many varieties,process not visibility,and high-value losses.This is accompanied by a double change in the formation and complexity of cyberspace.With the recent rising of metaverse,the human-centered cyberspace has the ability to map the real world and exposes the real world to cybersecurity threats.However,cybersecurity supervision does not keep up with the changes in cyberspace and still seeks solutions in cyberspace.A parallel supervision system for cybersecurity,ParaDefender was introduced,which was constructed based on artificial systems,computational experiments and parallel execution of ACP method to improve the current dilemma of cybersecurity supervision from the perspective of cyber-physicalsocial systems(CPSS).We demonstrated provided the application solutions of ParaDefender in telecom anti-fraud and industrial IoT scenarios and inspiration and reference for cybersecurity supervision in different fields.

关 键 词：网络安全 信息-物理-社会系统 知识自动化 平行智能 平行安全 

分 类 号：TP181[自动化与计算机技术—控制理论与控制工程]