期刊文献+
共找到403篇文章
< 1 2 21 >
每页显示 20 50 100
噪声相关信息物理系统的安全融合估计
1
作者 葛文标 牛梦飞 +2 位作者 吕跃祖 李中翔 房肖 《控制工程》 北大核心 2025年第4期595-601,613,共8页
针对一类噪声异步互相关的信息物理系统,研究了存在隐蔽攻击的情况下分布式安全融合估计问题。首先,考虑过程噪声与量测噪声的异步相关性,设计了一种依赖相关强度的类卡尔曼滤波局部估计器,并给出了确保估计器收敛的充分条件。其次,围... 针对一类噪声异步互相关的信息物理系统,研究了存在隐蔽攻击的情况下分布式安全融合估计问题。首先,考虑过程噪声与量测噪声的异步相关性,设计了一种依赖相关强度的类卡尔曼滤波局部估计器,并给出了确保估计器收敛的充分条件。其次,围绕一种线性隐蔽攻击模型,通过最大化局部估计均方误差得到了迭代最优攻击参数及相应的恶化局部估计。最后,基于矩阵加权策略融合局部估计,设计了一种分布式安全融合估计器,降低了隐蔽攻击对系统的影响,改善了融合估计性能。仿真结果验证了所设计的分布式安全融合估计器的有效性。 展开更多
关键词 信息物理系统 噪声相关 隐蔽攻击 分布式融合估计
在线阅读 下载PDF
基于关键节点的电力信息物理系统鲁棒性评估 被引量:1
2
作者 胡福年 杨伟丹 陈军 《复杂系统与复杂性科学》 北大核心 2025年第1期43-49,共7页
为保证电力信息物理系统(Cyber-Physical Power System,CPPS)安全稳定运行,对其拓扑结构及鲁棒性进行研究。基于复杂网络理论,提出一种全方位CPPS鲁棒性评估框架,建立拓扑结构和功能级联故障模型,并给出相应的系统性能量化指标,实现对... 为保证电力信息物理系统(Cyber-Physical Power System,CPPS)安全稳定运行,对其拓扑结构及鲁棒性进行研究。基于复杂网络理论,提出一种全方位CPPS鲁棒性评估框架,建立拓扑结构和功能级联故障模型,并给出相应的系统性能量化指标,实现对系统鲁棒性精准、高效评估。结合Louvain算法与重力引力中心性提出了考虑网络底层拓扑结构的节点重要性辨识方法,根据节点重要性对系统实施灾前保护,并对比不同保护策略下系统的鲁棒性。最后,用IEEE118网络构建CPPS模型,模拟系统在不同情况下的状态响应,结果验证了所提方法的有效性。 展开更多
关键词 电力信息物理系统 复杂网络理论 关键节点 鲁棒性
在线阅读 下载PDF
新型电力系统信息物理安全防护体系研究
3
作者 董昱 周劼英 +2 位作者 张晓 刘苇 王琦 《中国电机工程学报》 北大核心 2025年第15期5738-5751,I0002,共15页
新型电力系统呈现出信息物理高度耦合的特征,一、二次系统强交互性和控制机理高复杂性使得系统安全面临新的挑战。该文分析并提出新型电力系统物理安全、功能安全、网络安全融合的信息物理安全特性和内涵;针对新型电力系统信息物理安全... 新型电力系统呈现出信息物理高度耦合的特征,一、二次系统强交互性和控制机理高复杂性使得系统安全面临新的挑战。该文分析并提出新型电力系统物理安全、功能安全、网络安全融合的信息物理安全特性和内涵;针对新型电力系统信息物理安全风险认知、监测和防护等方面所面临的挑战,提出信息物理安全威胁跨域传播路径建模与分析方法、信息物理协同的安全威胁态势感知与检测方法和多时空联动响应的信息物理安全防护方法等关键技术;并立足于电力监控系统典型业务场景,初步探索新型电力系统信息物理安全防护应用前景。该文所提信息物理安全防护体系,可以实现跨域安全风险的量化表征和安全事件多时空协同感知、辨识和消解,为新型电力系统安全运行提供支撑。 展开更多
关键词 新型电力系统 信息物理安全 安全建模 安全感知 安全防护
在线阅读 下载PDF
面向信息物理融合系统的混成攻击图分析方法
4
作者 葛要港 陈鑫恺 +1 位作者 徐丙凤 何高峰 《计算机工程与设计》 北大核心 2025年第6期1616-1624,共9页
针对信息物理融合系统(CPS)中信息系统与物理系统的复杂互联问题,提出一种混成攻击图模型,实现对CPS攻击的有效建模与分析,支持离散与连续信息共存的攻击建模。在此基础上,提出一种基于模型检测的混成攻击图分析方法,通过模型检测技术,... 针对信息物理融合系统(CPS)中信息系统与物理系统的复杂互联问题,提出一种混成攻击图模型,实现对CPS攻击的有效建模与分析,支持离散与连续信息共存的攻击建模。在此基础上,提出一种基于模型检测的混成攻击图分析方法,通过模型检测技术,将混成攻击图转化为时间自动机模型,采用度量区间时序逻辑,描述系统对离散与连续信息的安全属性,使用模型检测器进行可满足性验证。通过智能家居系统的案例说明了所提方法的有效性。 展开更多
关键词 信息物理融合系统 模型检测 混成攻击图 形式化方法 时间自动机 度量区间时序逻辑 安全属性
在线阅读 下载PDF
计及能量流与信息流的电力信息物理系统关键节点辨识
5
作者 李希喆 辛培哲 江璟 《高压电器》 北大核心 2025年第8期186-196,共11页
随着信息通信技术在电力系统中的广泛应用,传统电网由仅分析物理系统或信息空间本身向新型电力系统下电力信息物理系统(cyber-physicalpowersystem,CPPS)方向转变。文中基于复杂网络理论,通过模拟连锁故障下能量流与信息流的交互作用,... 随着信息通信技术在电力系统中的广泛应用,传统电网由仅分析物理系统或信息空间本身向新型电力系统下电力信息物理系统(cyber-physicalpowersystem,CPPS)方向转变。文中基于复杂网络理论,通过模拟连锁故障下能量流与信息流的交互作用,提出了一种关键电力节点与信息节点的辨识方法。首先根据CPPS中能量流与信息流之间相互耦合关系,结合电力网潮流与信息网时延变化相互之间发生的连锁故障的演变过程,构建了CPPS一二次系统相互依存网络模型;然后在此基础上建立电力网和信息网重点节点指标并辨识关键信息—物理重要节点;最后,利用算例仿真法对模型和方法的有效性进行检验,判断该方法在实践中是否可行。 展开更多
关键词 电力信息物理系统 能量流 信息 连锁故障 关键节点辨识
在线阅读 下载PDF
信息物理融合系统中恶意病毒传播的稳定性与分岔分析
6
作者 程浩宽 肖敏 《控制工程》 北大核心 2025年第6期1101-1110,共10页
为研究恶意病毒在信息物理融合系统(cyberphysicalsystems,CPS)中的传播机理,对一类具有双线性发生率的易感-感染-恢复(susceptible-infected-recovered,SIR)模型进行改进,提出了一种更具一般性且含有时滞的SIR恶意病毒模型。通过选取... 为研究恶意病毒在信息物理融合系统(cyberphysicalsystems,CPS)中的传播机理,对一类具有双线性发生率的易感-感染-恢复(susceptible-infected-recovered,SIR)模型进行改进,提出了一种更具一般性且含有时滞的SIR恶意病毒模型。通过选取时滞作为分岔参数,基于稳定性理论和Hopf分岔定理对该模型的复杂动力学行为进行分析,得出了Hopf分岔的条件。研究表明,系统的动力学行为依赖于分岔的临界值。此外,进一步应用范数理论和中心流形定理得出了关于Hopf分岔方向的计算公式。最后通过数值仿真验证了理论分析的正确性。 展开更多
关键词 信息物理融合系统 恶意病毒 时滞 HOPF分岔 分岔方向
在线阅读 下载PDF
信息物理融合系统安全现状与关键技术 被引量:3
7
作者 聂晓 《广东电力》 2012年第11期47-50,共4页
介绍信息物理融合系统(cyber physical systems,CPS)的发展现状,分析CPS所面临的安全威胁,针对这些安全威胁给出了相应的防范对策,并重点分析了CPS防范系统中的认证技术、访问控制技术和隐私保护技术等关键技术,以促进CPS在信息安全方... 介绍信息物理融合系统(cyber physical systems,CPS)的发展现状,分析CPS所面临的安全威胁,针对这些安全威胁给出了相应的防范对策,并重点分析了CPS防范系统中的认证技术、访问控制技术和隐私保护技术等关键技术,以促进CPS在信息安全方面的健康发展。 展开更多
关键词 信息物理融合系统 安全威胁 安全需求
在线阅读 下载PDF
基于模糊协同交互型观测器的柔性关节机械臂信息物理融合系统的安全控制
8
作者 黄鑫 畅晨旭 +1 位作者 肖舒怡 李小杭 《自动化学报》 EI CAS CSCD 北大核心 2024年第12期2487-2498,共12页
本文研究了柔性关节机械臂信息物理融合系统(Cyber-physical systems,CPS)在传感器测量和执行器输入受到网络攻击时的安全控制问题.首先,用T-S模糊模型描述柔性关节机械臂CPS,描述后的模型可能存在不可测量或可测量但受传感器攻击影响... 本文研究了柔性关节机械臂信息物理融合系统(Cyber-physical systems,CPS)在传感器测量和执行器输入受到网络攻击时的安全控制问题.首先,用T-S模糊模型描述柔性关节机械臂CPS,描述后的模型可能存在不可测量或可测量但受传感器攻击影响的前件变量(Premise variables,PVs),这些PVs直接用于构建模糊控制器会影响控制器的控制效果.因此,提出一类模糊协同交互观测器来构造新的、可靠的、可利用的PVs.同时,该观测器能够与包含攻击估计误差(Attack estimation error,AEE)信息的辅助系统进行协同交互.与已有结果相比,所提出的观测器通过协同交互结构,充分利用了AEE信息,提高了攻击信号的重构精度.在此基础上,提出了一种具有攻击补偿结构的安全控制方案,从而消除了传感器和执行器攻击对柔性关节机械臂CPS性能的影响.仿真结果验证了所提出的安全控制方案的有效性. 展开更多
关键词 柔性关节机械臂 信息物理融合系统 网络攻击 T-S模糊模型 协同交互型观测器 安全控制
在线阅读 下载PDF
信息物理系统的传感器攻击抵御策略综述
9
作者 陈彦峰 冯智伟 +1 位作者 邓庆绪 王妍 《计算机科学》 北大核心 2025年第4期4-13,共10页
信息物理系统(Cyber Physical System,CPS)作为融合了计算、通信和控制的智能系统,在诸多领域,如智能交通、智能健康等方面发挥着越来越重要的作用。传感器在CPS中扮演着重要角色,但也常成为攻击者的目标。首先,明确了传感器攻击抵御的... 信息物理系统(Cyber Physical System,CPS)作为融合了计算、通信和控制的智能系统,在诸多领域,如智能交通、智能健康等方面发挥着越来越重要的作用。传感器在CPS中扮演着重要角色,但也常成为攻击者的目标。首先,明确了传感器攻击抵御的研究范围,按照攻击发生时间点,将传感器攻击的相关研究分为了攻击防御、攻击抵御和攻击恢复。然后,回顾了常见传感器攻击的类型和影响,包括拒绝服务攻击、重放攻击、欺骗攻击等。接着,总结了基于多源一致性、历史一致性和响应一致性的传感器攻击检测方法。随后,论述了攻击检测后的数据融合方法,包括基于卡尔曼滤波和基于间隔的数据融合方法。最后,探讨了未来可能的研究方向,以进一步加强CPS中传感器攻击的防御能力。 展开更多
关键词 信息物理系统 传感器攻击 攻击抵御 攻击检测 数据融合 数据安全
在线阅读 下载PDF
新型ADETCS下工业信息物理系统综合安全控制
10
作者 李炜 程雪 李亚洁 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2024年第9期2704-2716,共13页
针对一类虚假数据注入(FDI)攻击与故障共存的工业信息物理系统(ICPS),在新型自适应离散事件触发通信机制(ADETCS)下,研究了综合安全控制与通信的协同设计问题。引入ADETCS取代传统离散事件触发通信机制,构建安全与通信可自适应协同优化... 针对一类虚假数据注入(FDI)攻击与故障共存的工业信息物理系统(ICPS),在新型自适应离散事件触发通信机制(ADETCS)下,研究了综合安全控制与通信的协同设计问题。引入ADETCS取代传统离散事件触发通信机制,构建安全与通信可自适应协同优化运行的ICPS架构;通过对ADETCS中阈值函数的优化设计,获得一种可随系统动态行为双向连续变化的新型ADETCS;在该机制下,基于主动容侵和容错的思想,通过构造Lyapunov泛函,借助新型Bessel-Legebdre不等式、锥补线性化(CCL)等少保守性技术,在统一的自适应变采样框架下,推证出鲁棒估计器与综合安全控制器的求解方法,使ICPS可同时防御FDI攻击与故障,并具有更优的自适应通信调节能力。仿真结果表明:新型ADETCS中阈值函数的巧妙设计及CCL的应用,相较现存通信机制和设计方法,可使ICPS的综合安全控制性能与资源节约获得更优的折中平衡。 展开更多
关键词 新型自适应离散事件触发通信机制 工业信息物理系统 综合安全控制 锥补线性化 动态优化平衡
在线阅读 下载PDF
电力信息物理系统形态演进关键技术及其进展 被引量:8
11
作者 樊强 刘东 +2 位作者 王宇飞 陈飞 陈冠宏 《中国电机工程学报》 EI CSCD 北大核心 2024年第21期8341-8352,I0002,共13页
“双碳”目标促进了电力系统形态的改变,同时对新型电力系统的运行和控制方式提出全新挑战,有必要研究电力信息物理系统的形态演进方法来提升新型电力系统的分析决策能力。该文基于信息物理融合视角,首先综述了电力信息物理系统在安全... “双碳”目标促进了电力系统形态的改变,同时对新型电力系统的运行和控制方式提出全新挑战,有必要研究电力信息物理系统的形态演进方法来提升新型电力系统的分析决策能力。该文基于信息物理融合视角,首先综述了电力信息物理系统在安全运行与经济运行两方面的形态演进研究现状,然后进一步阐述了电力信息物理系统形态演进的关键技术,包括系统形态刻画方法、安全运行形态演进分析方法以及经济运行形态演进分析方法,最后分别从仿真验证和数理逻辑两个层面对电力信息物理系统形态演进分析所依赖的数字孪生仿真技术和形式验证技术进行了展望。 展开更多
关键词 电力信息物理系统 形态演进 安全运行 经济运行
在线阅读 下载PDF
考虑信息物理融合系统的韧性电网风险研究现状及发展趋势可视化分析 被引量:4
12
作者 何馥彤 李存斌 《中国安全生产科学技术》 CAS CSCD 北大核心 2024年第2期35-43,共9页
为探究韧性电网信息物理融合系统风险研究现状及发展趋势,基于中国知网(CNKI)和Web of Science(WoS)数据库2011—2023年的文献数据,利用CiteSpace对该领域研究的研究热点、前沿及演化趋势进行可视化分析。研究结果表明:国内研究形成以... 为探究韧性电网信息物理融合系统风险研究现状及发展趋势,基于中国知网(CNKI)和Web of Science(WoS)数据库2011—2023年的文献数据,利用CiteSpace对该领域研究的研究热点、前沿及演化趋势进行可视化分析。研究结果表明:国内研究形成以“风险预警与控制”和“电力系统智能化建设”为主题的研究热点,国外研究形成以“信息物理融合”和“连锁故障演化”为主题的研究热点;“智能电网的信息物理耦合”和“信息网络攻击风险分析”是国内研究的前沿方向,“信息物理融合系统安全状态估计”和“风险防控模型”是国外研究的前沿方向;国内研究可分为安全性理论研究期、信息物理攻击风险研究期和故障防御恢复研究期3个时间阶段,国外研究可分为信息物理融合研究期和信息物理安全应用期2个时间阶段;后续研究应加强改进电力信息物理融合系统建模、完善电力信息物理融合系统规划、推进电力信息物理融合系统应用,推进数字化韧性电网稳定运行。研究结果可为韧性电网风险识别和风险预警研究提供一定参考。 展开更多
关键词 电力信息物理融合系统 韧性电网 研究热点和前沿 可视化分析
在线阅读 下载PDF
信息物理融合系统综合安全威胁与防御研究 被引量:84
13
作者 刘烃 田决 +5 位作者 王稼舟 吴宏宇 孙利民 周亚东 沈超 管晓宏 《自动化学报》 EI CSCD 北大核心 2019年第1期5-24,共20页
信息物理融合系统(Cyber-physical system, CPS)是计算单元与物理对象在网络空间中高度集成交互形成的智能系统.信息系统与物理系统的融合在提升系统性能的同时,信息系统的信息安全威胁(Security)与物理系统的工程安全问题(Safety)相互... 信息物理融合系统(Cyber-physical system, CPS)是计算单元与物理对象在网络空间中高度集成交互形成的智能系统.信息系统与物理系统的融合在提升系统性能的同时,信息系统的信息安全威胁(Security)与物理系统的工程安全问题(Safety)相互影响,产生了新的综合安全问题,引入严重的安全隐患.本文介绍了CPS的概念与安全现状,给出了CPS综合安全的定义;在对现有安全事件进行分析的基础上,提出了CPS的综合安全威胁模型;从时间关联性和空间关联性的角度,对现有CPS攻击和防御方法进行了分类和总结,并探讨CPS综合安全的研究方向. 展开更多
关键词 信息物理融合系统 综合安全 威胁模型 综合防御
在线阅读 下载PDF
隐蔽攻击下信息物理系统的安全输出反馈控制 被引量:2
14
作者 张淇瑞 孟思琪 +2 位作者 王兰豪 刘坤 代伟 《自动化学报》 EI CAS CSCD 北大核心 2024年第7期1363-1372,共10页
研究了受到隐蔽攻击的信息物理系统(Cyber-physical system,CPS)安全控制问题.采用KL(Kullback-Leibler)散度描述攻击的隐蔽性,并设计动态输出反馈控制器,使系统可达集始终保持在安全区域内,其中可达集定义为系统状态以一定概率属于的集... 研究了受到隐蔽攻击的信息物理系统(Cyber-physical system,CPS)安全控制问题.采用KL(Kullback-Leibler)散度描述攻击的隐蔽性,并设计动态输出反馈控制器,使系统可达集始终保持在安全区域内,其中可达集定义为系统状态以一定概率属于的集合.首先,给出隐蔽攻击下检测器残差所在范围的一个外椭球近似集;其次,根据该近似集和噪声的范围给出控制器参数与系统椭球形不变可达集的关系;然后,通过设计可逆线性变换并构造凸优化问题,求解安全控制器参数和相应的不变可达集;最后,使用弹簧−质量−阻尼系统进行仿真,验证了所提控制方法的有效性. 展开更多
关键词 信息物理系统 隐蔽攻击 安全控制 KL 散度 可达集
在线阅读 下载PDF
电力系统信息物理融合建模与综合安全评估:驱动力与研究构想 被引量:182
15
作者 郭庆来 辛蜀骏 +1 位作者 孙宏斌 王剑辉 《中国电机工程学报》 EI CSCD 北大核心 2016年第6期1481-1489,共9页
智能电网与能源互联网都是典型的信息物理融合系统(cyber-physical system,CPS),信息环节的可靠性问题可能导致物理系统的运行风险。为了对其系统及信息故障进行分析评估,文中在分析了对电力系统进行信息物理融合建模与评估的必要性去... 智能电网与能源互联网都是典型的信息物理融合系统(cyber-physical system,CPS),信息环节的可靠性问题可能导致物理系统的运行风险。为了对其系统及信息故障进行分析评估,文中在分析了对电力系统进行信息物理融合建模与评估的必要性去驱动力后,提出了一种CPS融合建模构想。该方法将CPS系统抽象为一个有向拓扑图,模型将物理系统和信息系统中的状态量统一抽象为"数据节点",将信息处理、信息传输等环节抽象为"信息支路"。在此基础上,系统的信息-能量流可通过矩阵运算的方式快速简单地进行量化计算,与一般的迭代计算和仿真方法相比,该方法可有效提升计算速率。最后,对信息物理系统的综合安全评估技术体系进行了展望。 展开更多
关键词 信息物理融合系统 智能电网 能源互联网 建模 安全评估
在线阅读 下载PDF
信息-物理融合系统若干关键问题综述 被引量:76
16
作者 李仁发 谢勇 +1 位作者 李蕊 李浪 《计算机研究与发展》 EI CSCD 北大核心 2012年第6期1149-1161,共13页
信息-物理融合系统(Cyber-Physical System,CPS)集成了计算系统与物理系统,并通过嵌入式计算机与网络实现了两者之间的协作和融合,将对人们的生产和生活方式产生重要影响.CPS是一个全新的研究领域,利用现有基础理论和技术设计CPS时面临... 信息-物理融合系统(Cyber-Physical System,CPS)集成了计算系统与物理系统,并通过嵌入式计算机与网络实现了两者之间的协作和融合,将对人们的生产和生活方式产生重要影响.CPS是一个全新的研究领域,利用现有基础理论和技术设计CPS时面临着众多问题.介绍了CPS的概念、特点和体系结构,分析了与嵌入式系统、网络的关联,从计算系统、网络系统和控制系统3个方面概括了CPS设计面临的主要挑战,并着重探讨了当前一些可用于CPS设计的理论和技术以及CPS研究的最新进展,指出CPS当前的发展应以解决系统抽象层次设计、系统建模、体系结构设计、数据传输和管理、子系统集成方面的问题作为其下一步发展主要的研究方向,并提出了一些可行的解决办法,可为相关研究提供参考. 展开更多
关键词 信息-物理融合系统(CPS) 综述 CPS体系结构 嵌入式系统 网络
在线阅读 下载PDF
信息物理融合系统安全问题研究综述 被引量:16
17
作者 彭昆仑 彭伟 +1 位作者 王东霞 邢倩倩 《信息网络安全》 2016年第7期20-28,共9页
信息物理融合系统(Cyber-Physical System,CPS)是信息系统与物理系统紧密融合一体化的复杂系统,通过环境检测并将计算、通信、控制过程高效结合,实现对物理世界实时感知和动态控制的功能。CPS是继互联网之后的又一场信息革命,而安全问... 信息物理融合系统(Cyber-Physical System,CPS)是信息系统与物理系统紧密融合一体化的复杂系统,通过环境检测并将计算、通信、控制过程高效结合,实现对物理世界实时感知和动态控制的功能。CPS是继互联网之后的又一场信息革命,而安全问题是决定CPS能否被广泛使用的关键因素之一。文章首先阐述了CPS的安全要求、安全目标和面临的安全挑战,接着具体讨论了在物理层、传输层、应用层这三个层次所面临的攻击方式,然后重点分析了CPS在抗攻击技术、身份认证技术、隐私保护技术和风险评估技术等方面的研究现状,最后对CPS的安全研究进行了展望。 展开更多
关键词 信息物理融合系统 物联网 工业控制系统
在线阅读 下载PDF
面向化工过程安全运行的信息物理融合系统 被引量:5
18
作者 许亮 刘兰英 李秀喜 《现代化工》 CAS CSCD 北大核心 2016年第3期169-172,174,共5页
将信息物理融合系统(cyber-physical system,CPS)概念和感知控制论(perceptual control theory,PCT)相结合提出PCCPS模型,再与化工过程特点相结合,构建具有环境监测、信息共享、故障预测、故障诊断和基于知识操作建议的化工过程安全运... 将信息物理融合系统(cyber-physical system,CPS)概念和感知控制论(perceptual control theory,PCT)相结合提出PCCPS模型,再与化工过程特点相结合,构建具有环境监测、信息共享、故障预测、故障诊断和基于知识操作建议的化工过程安全运行信息物理融合系统模型。在相关研究基础上,以环己烷无催化氧化过程PCCPS监控系统为例,阐述模型的应用,为进一步研究提供借鉴。化工过程安全运行物理信息融合系统的实现将提高化工过程连续、高效和安全运行。 展开更多
关键词 物理信息融合系统 化工过程 环境监测 故障预测 故障诊断
在线阅读 下载PDF
基于层次Petri网的信息物理融合系统安全博弈建模 被引量:4
19
作者 崔文岩 孟相如 《计算机应用研究》 CSCD 北大核心 2017年第8期2439-2442,共4页
随着信息物理融合系统在工业中的广泛应用,系统安全已成为关注的焦点,信息物理融合系统的物理依赖和信息驱动特点使其面临信息物理双重威胁。为更加有效地进行应对,采取最佳防御策略,建立了基于层次Petri网的信息物理安全分析模型,并给... 随着信息物理融合系统在工业中的广泛应用,系统安全已成为关注的焦点,信息物理融合系统的物理依赖和信息驱动特点使其面临信息物理双重威胁。为更加有效地进行应对,采取最佳防御策略,建立了基于层次Petri网的信息物理安全分析模型,并给出了描述攻防博弈策略的博弈网模型,进行了安全博弈分析,构建了纳什均衡策略,并采用萤火虫群算法进行了求解。最后以防空网络为实例进行了模拟分析,验证了模型的有效性。 展开更多
关键词 信息物理融合系统 安全 PETRI网 博弈论
在线阅读 下载PDF
一种面向信息物理融合系统安全攸关场景的测试用例自动生成方法 被引量:1
20
作者 姜鹏 陈鑫 李宣东 《计算机科学》 CSCD 北大核心 2014年第11期124-127,161,共5页
对信息物理融合系统中的安全攸关场景进行有效的测试是提高系统安全性的重要手段。如何对安全攸关场景进行建模以完整准确地刻画系统行为,如何有效地生成测试用例以提高测试覆盖度、降低测试成本,是面向安全场景测试技术需要解决的核心... 对信息物理融合系统中的安全攸关场景进行有效的测试是提高系统安全性的重要手段。如何对安全攸关场景进行建模以完整准确地刻画系统行为,如何有效地生成测试用例以提高测试覆盖度、降低测试成本,是面向安全场景测试技术需要解决的核心技术问题。现有的场景建模与测试用例生成技术缺少对信息物理融合系统重要特性的描述和处理,其生成的测试用例不能满足系统安全攸关场景的测试需求。围绕信息物理融合系统的安全攸关场景建模以及测试用例自动生成方法展开研究,为UML活动图扩充了外部事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要;并研究了基于场景模型自动生成测试用例的方法。 展开更多
关键词 信息物理融合系统 安全攸关场景 测试用例自动生成
在线阅读 下载PDF
上一页 1 2 21 下一页 到第
使用帮助 返回顶部