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

doi:10.11959/j.issn.2096-6652.202320

智能科学与技术学报 ›› 2023, Vol. 5 ›› Issue (2): 247-253.doi: 10.11959/j.issn.2096-6652.202320

• 专题：平行智能研究前沿 • 上一篇下一篇

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

陈晓光¹, 韩金朋², 杨满智¹, 王晓³, 刘昕⁴, 王震⁵, 王飞跃¹^,⁶^,⁷^,⁸

¹ 澳门科技大学澳门系统工程研究所，澳门 999078
² 西安交通大学软件学院，陕西西安 710049
³ 安徽大学人工智能学院，安徽合肥 230031
⁴ 中国石油大学（华东）计算机科学与技术学院，山东青岛 266580
⁵ 杭州电子科技大学网络空间安全学院，浙江杭州 310018
⁶ 中国科学院自动化研究所复杂系统管理与控制国家重点实验室，北京 100190
⁷ 北京怀柔平行传感智能研究院，北京 101407
⁸ 中国科学院自动化研究所北京市智能化技术与系统工程技术研究中心，北京 100190

修回日期:2023-04-13 出版日期:2023-06-15 发布日期:2023-06-10
作者简介:陈晓光（1982- ），男，澳门科技大学澳门系统工程研究所博士生，主要研究方向为平行智能、平行安全和工业物联网安全
韩金朋（1994- ），男，西安交通大学软件学院博士生，主要研究方向为平行智能、平行安全、安全博弈和车联网安全
杨满智（1979- ），男，澳门科技大学澳门系统工程研究所博士生，主要研究方向为平行智能、平行安全和网络安全
王晓（1988- ），女，博士，安徽大学人工智能学院教授，主要研究方向为社会计算、群体行为建模、认知自动驾驶和智能医疗
刘昕（1974- ），女，博士，中国石油大学（华东）计算机科学与技术学院副教授，主要研究方向为复杂数据分析、数据挖掘、社会计算和网络空间安全
王震（1984- ），男，博士，杭州电子科技大学网络空间安全学院教授，主要研究方向为网络安全、人工智能安全、复杂网络、强化学习和算法博弈理论
王飞跃（1961- ），男，博士，中国科学院自动化研究所复杂系统管理与控制国家重点实验室主任，主要研究方向为复杂系统、智能控制、平行智能、社会计算和知识自动化
基金资助:
国家重点研发计划(2018AAA0101502);国家电网有限公司总部“人在回路的大电网调控混合增强智能基础理论”配套项目

ParaDefender: the parallel supervision for cybersecurity based on ACP

Xiaoguang CHEN¹, Jinpeng HAN², Manzhi YANG¹, Xiao WANG³, Xin LIU⁴, Zhen WANG⁵, Fei-Yue WANG¹^,⁶^,⁷^,⁸

¹ Macao Institute of Systems Engineering, Macau 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

Revised:2023-04-13 Online:2023-06-15 Published:2023-06-10
Supported by:
The National Key Research and Development Program of China(2018AAA0101502)

摘要/Abstract

摘要：

网络安全起源于计算机网络的理论测试，而随着信息与通信技术的发展，网络安全风险呈现出来源广（volume）、方式多（variety）、过程隐（visibility）与损失高（value）的“4V”特性，与之相伴的是网络空间形态与复杂度的双重变化。近期兴起的元宇宙风潮，使以人为中心构建出的网络空间拥有映射出真实世界的能力，也将真实世界暴露在网络安全风险之下。然而，网络安全监管没有跟上网络空间的变化，仍然在网络空间中寻求解决之道。介绍了一种网络安全平行监管系统——灵境卫士，它基于人工系统、计算实验与平行执行的ACP方法搭建，从信息-物理-社会系统（cyber-physical-social systems，CPSS）的视角改善当前网络安全监管的窘境。展示了灵境卫士在电信反诈骗与工业物联网场景下的应用方案，为其在不同领域的网络安全监管工作提供启发与借鉴。

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

Abstract:

Cybersecurity originated from the theoretical testing of computer networks.With the development of information and communication technology (ICT), cybersecurity threats present the ＆quot;4V＆quot; 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.

Key words: cybersecurity, cyber-physical-social systems, knowledge automation, parallel intelligence, parallel security

中图分类号:

TP181

陈晓光, 韩金朋, 杨满智, 等. 灵境卫士：基于ACP的网络安全平行监管研究[J]. 智能科学与技术学报, 2023, 5(2): 247-253.

Xiaoguang CHEN, Jinpeng HAN, Manzhi YANG, et al. ParaDefender: the parallel supervision for cybersecurity based on ACP[J]. Chinese Journal of Intelligent Science and Technology, 2023, 5(2): 247-253.

图/表 3

参考文献 30

[1]	李强, 阳东升, 孙江生 ,等. "社会认知战":时代背景、概念机理及引领性技术[J]. 指挥与控制学报, 2021,7(2): 97-106.
	LI Q , YANG D S , SUN J S ,et al. Social cognition operations:backgrounds,concepts,mechanisms and leading technologies[J]. Journal of Command and Control, 2021,7(2): 97-106.
[2]	郑文博, 李强, 刘文礼 ,等. 数据知识驱动的城市作战元宇宙建模框架[J]. 指挥与控制学报, 2023,9(1): 23-32.
	ZHENG W B , LI Q , LIU W L ,et al. Data-knowledge-driven metaverse modeling framework for urban warfare[J]. Journal of Command and Control, 2023,9(1): 23-32.
[3]	SCHANTZ R E . BBN's network computing software infrastructure and distributed applications(1970-1990)[J]. IEEE Annals of the History of Computing, 2006,28(1): 72-88.
[4]	GIBSON W . Neuromancer[M]. New York: Ace Books, 1984.
[5]	WANG F Y , QIN R , LI J J ,et al. Federated management:toward federated services and federated security in federated ecology[J]. IEEE Transactions on Computational Social Systems, 2021,8(6): 1283-1290.
[6]	WANG F Y , ZHU J , QIN R ,et al. Federated control:toward information security and rights protection[J]. IEEE Transactions on Computational Social Systems, 2021,8(4): 793-798.
[7]	贾凡, 熊刚, 朱凤华 ,等. 基于MQTT的工业物联网通信系统研究与实现[J]. 智能科学与技术学报, 2019,1(3): 249-259.
	JIA F , XIONG G , ZHU F H ,et al. Research and implementation of industrial internet of things communication system based on MQTT[J]. Chinese Journal of Intelligent Science and Technology, 2019,1(3): 249-259.
[8]	韩金朋, 刘忠民, 吕秋云 ,等. 元安全:基于平行安全的元宇宙安全框架[J]. 指挥与控制学报, 2022,8(3): 249-259.
	HAN J P , LIU Z M , LYU Q Y ,et al. MetaSecurity:a framework for metaverse security based on parallel security[J]. Journal of Command and Control, 2022,8(3): 249-259.
[9]	HAN J P , YANG M Z , CHEN X G ,et al. ParaDefender:a scenariodriven parallel system for defending metaverses[J]. IEEE Transactions on Systems,Man,and Cybernetics:Systems, 2022,53(4): 2118-2127.
[10]	李浥东, 张俊, 陶耀东 ,等. 平行安全:基于CPSS的生成式对抗安全智能系统[J]. 智能科学与技术学报, 2020,2(2): 194-202.
	LI Y D , ZHANG J , TAO Y D ,et al. Parallel security:generative adversarial systems for intelligent security in CPSS[J]. Chinese Journal of Intelligent Science and Technology, 2020,2(2): 194-202.
[11]	王飞跃 . 平行世界的平行安全:基于CPSS的生成式对抗安全智慧系统[J]. 信息安全与通信保密, 2018,16(10): 21-22.
	WANG F Y . Parallel security in parallel worlds—a generative countermeasure security intelligent system based on CPSS[J]. Information Security and Communications Privacy, 2018,16(10): 21-22.
[12]	WANG F Y . The emergence of intelligent enterprises:from CPS to CPSS[J]. IEEE Intelligent Systems, 2010,25(4): 85-88.
[13]	王飞跃 . 人工社会、计算实验、平行系统:关于复杂社会经济系统计算研究的讨论[J]. 复杂系统与复杂性科学, 2004,1(4): 25-35.
	WANG F Y . Artificial societies,computational experiments,and parallel systems:a discussion on computational theory of complex socialeconomic systems[J]. Complex Systems and Complexity Science, 2004,1(4): 25-35.
[14]	李小双, 王晓, 杨林瑶 ,等. 元电网MetaGrid:基于平行电网的新一代智能电网的体系与架构[J]. 智能科学与技术学报, 2021(4): 387-398.
	LI X S , WANG X , YANG L Y ,et al. MetaGrid:a parallel grids based approach for next generation smart power systems[J]. Chinese Journal of Intelligent Science and Technology, 2021(4): 387-398.
[15]	WANG J G , SHEN T Y , TIAN Y L ,et al. A parallel teacher for synthetic-to-real domain adaptation of traffic object detection[J]. IEEE Transactions on Intelligent Vehicles, 2022,7(3): 441-455.
[16]	POPPER K R . Objective knowledge:an evolutionary approach[M]. New York: Oxford University Press, 1975.
[17]	王飞跃, 史帝夫·兰森 . 从人工生命到人工社会—复杂社会系统研究的现状和展望[J]. 复杂系统与复杂性科学, 2004,1(1): 33-41.
	WANG F Y , LANSING J S . From artificial life to artificial societies new methods for studies of complex social systems[J]. Complex Systems and Complexity Science, 2004,1(1): 33-41.
[18]	王飞跃 . 关于复杂系统研究的计算理论与方法[J]. 中国基础科学, 2004,6(5): 5-12.
	WANG F Y . Computational theory and methods for the study of complex systems[J]. China Basic Science, 2004,6(5): 5-12.
[19]	王飞跃, 王晓, 袁勇 ,等. 社会计算与计算社会:智慧社会的基础与必然[J]. 科学通报, 2015,60(5-6): 460-469.
	WANG F Y , WANG X , YUAN Y ,et al. Social computing and computational societies:the foundation and consequence of smart societies[J]. Chinese Science Bulletin, 2015,60(5-6): 460-469.
[20]	王飞跃 . 平行管理:复杂性管理智能的生态科技与智慧管理之DAO[J]. 自动化学报, 2022,48(11): 2655-2669.
	WANG F Y . Parallel management:the DAO to smart ecological technology for complexity management intelligence[J]. Acta Automatica Sinica, 2022,48(11): 2655-2669.
[21]	WANG X , YANG J , HAN J P ,et al. Metaverses and DeMetaverses:from digital twins in CPS to parallel intelligence in CPSS[J]. IEEE Intelligent Systems, 2022,37(4): 97-102.
[22]	SCHULER D . Social computing[J]. Communications of the ACM, 1994,37(1): 28-29.
[23]	BUILDER C , BANKES S . Artificial societies:a concept for basic research on the societal impacts of information technology[R]. Santa Monica,CA,USA:RAND Report, 1991.
[24]	王飞跃 . 基于社会计算和平行系统的动态网民群体研究[J]. 上海理工大学学报, 2011,33(1): 8-17.
	WANG F Y . Study on cyber-enabled social movement organizations based on social computing and parallel systems[J]. Journal of University of Shanghai for Science and Technology, 2011,33(1): 8-17.
[25]	王飞跃 . 软件定义的系统与知识自动化:从牛顿到默顿的平行升华[J]. 自动化学报, 2015,41(1): 1-8.
	WANG F Y . Software-defined systems and knowledge automation:a parallel paradigm shift from Newton to Merton[J]. Acta Automatica Sinica, 2015,41(1): 1-8.
[26]	LU J W , WANG X X , CHENG X ,et al. Parallel factories for smart industrial operations:from big AI models to field foundational models and scenarios engineering[J]. IEEE/CAA Journal of Automatica Sinica, 2022,9(12): 2079-2086.
[27]	沈宇, 王晓, 韩双双 ,等. 代理技术Agent在智能车辆与驾驶中的应用现状[J]. 指挥与控制学报, 2019,5(2): 87-98.
	SHEN Y , WANG X , HAN S S ,et al. Agent-based technology in intelligent vehicles and driving:state-of-the-art and prospect[J]. Journal of Command and Control, 2019,5(2): 87-98.
[28]	沈宇, 韩金朋, 李灵犀 ,等. 游戏智能中的AI——从多角色博弈到平行博弈[J]. 智能科学与技术学报, 2020,2(3): 205-213.
	SHEN Y , HAN J P , LI L X ,et al. AI in game intelligence—from multirole game to parallel game[J]. Chinese Journal of Intelligent Science and Technology, 2020,2(3): 205-213.
[29]	ZHU Z Q , WANG X , ZHAO Y ,et al. Crowdsensing intelligence by decentralized autonomous vehicles organizations and operations[J]. IEEE Transactions on Intelligent Vehicles, 2022,7(4): 804-808.
[30]	WANG F Y , QIN R , WANG X ,et al. MetaSocieties in metaverse:MetaEconomics and MetaManagement for MetaEnterprises and MetaCities[J]. IEEE Transactions on Computational Social Systems, 2022,9(1): 2-7.

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

ParaDefender: the parallel supervision for cybersecurity based on ACP

在线阅读

PDF下载

可视化

摘要/Abstract

引用本文

使用本文

图/表 3

参考文献 30

相关文章 14

Metrics

推荐阅读 0

[1]	李诗濛, 王飞跃. 平行设计：面向平行制造体系的非标机械方案设计流程[J]. 智能科学与技术学报, 2023, 5(2): 274-282.
[2]	王飞跃, 蒋怀光. 平行电池：智能生态化电池技术与服务体系的框架和流程[J]. 智能科学与技术学报, 2021, 3(4): 521-531.
[3]	常方乐, 康孟珍, 王秀娟, 雷加强, 王飞跃. 平行智能风沙防护治理决策支持系统——塔克拉玛干沙漠公路及其防沙体系[J]. 智能科学与技术学报, 2021, 3(4): 499-506.
[4]	王飞跃. 平行哲学与智能技术：平行产业与智慧社会的对偶方程与测试基础[J]. 智能科学与技术学报, 2021, 3(3): 245-255.
[5]	贾晓丰, 高嵩, 江茜, 齐红威, 王晓, 张俊, 秦蕊, 欧阳丽炜. 面向城市复杂系统的社会计算关键技术研究[J]. 智能科学与技术学报, 2021, 3(2): 228-233.
[6]	王飞跃. 平行医学：从医学的温度到智慧的医学[J]. 智能科学与技术学报, 2021, 3(1): 1-9.
[7]	王飞跃. 平行控制与数字孪生：经典控制理论的回顾与重铸[J]. 智能科学与技术学报, 2020, 2(3): 293-300.
[8]	李浥东,张俊,陶耀东,王伟,顾元祥,王飞跃. 平行安全：基于CPSS的生成式对抗安全智能系统[J]. 智能科学与技术学报, 2020, 2(2): 194-202.
[9]	王飞跃,曹东璞,魏庆来. 强化学习：迈向知行合一的智能机制与算法[J]. 智能科学与技术学报, 2020, 2(2): 101-106.
[10]	李宪港,李强. 典型智能博弈系统技术分析及指控系统智能化发展展望[J]. 智能科学与技术学报, 2020, 2(1): 36-42.
[11]	孙星恺,王晓,陆浩. 面向活动的网络媒体监测与建模分析：IVFC案例解析[J]. 智能科学与技术学报, 2019, 1(4): 352-368.
[12]	侯家琛,董西松,熊刚,张俊,谭珂. 平行核电：迈向智慧核电的智能技术[J]. 智能科学与技术学报, 2019, 1(2): 192-201.
[13]	吕宜生,陈圆圆,金峻臣,李镇江,叶佩军,朱凤华. 平行交通：虚实互动的智能交通管理与控制[J]. 智能科学与技术学报, 2019, 1(1): 21-33.
[14]	张俊,王飞跃,方舟. 社会能源：从社会中获取能源[J]. 智能科学与技术学报, 2019, 1(1): 7-20.