检索结果-维普期刊中文期刊服务平台

具有多传感器的CPS系统的攻击检测被引量：5: 1; 作者杨康王瑞 +3 位作者关永李晓娟施智平 Xiaoyu SONG 《软件学报》 EI CSCD 北大核心 2019年第7期2018-2032,共15页; 信息物理系统(cyber-physical systems,简称CPS)是基于环境感知实现计算、通信与物理元素紧密结合的下一代智能系统,广泛应用于安全攸关的系统和工业控制等领域。信息技术与物理世界的相互作用使得CPS容易受到各种恶意攻击,从而破坏其... 展开更多; 关键词 CPS 安全性瞬态故障多传感器融合算法传感器攻击检测和识别; 在线阅读下载PDF 职称材料

面向实时数据的CPS一体化建模方法被引量：7: 2; 作者罗晨霞王瑞 +3 位作者关永李晓娟施智平 Xiaoyu SONG 《软件学报》 EI CSCD 北大核心 2019年第7期1966-1979,共14页; 信息物理系统(cyber-physical system,简称CPS)是一个在环境感知的基础上整合了物理和计算元素的系统,它可以智能地响应真实世界的动态变化,具有重要而广阔的应用前景。然而,CPS工作在复杂的物理环境中,周围的物理变化会对CPS的行为产... 展开更多; 关键词运行时验证实时性 CPS 环境建模安全性; 在线阅读下载PDF 职称材料

机器人碰撞检测方法形式化被引量：8: 3; 作者陈善言关永 +1 位作者施智平王国辉《软件学报》 EI CSCD 北大核心 2022年第6期2246-2263,共18页; 为应对更为复杂的任务需求,现代机器人产业发展愈发迅猛.出于协调工作的灵活性、柔顺性以及智能性等多项考虑因素,多臂/多机器人充分发挥了机器人的强大作用,成为现代机器人产业的重要研究热点.在机器人双臂协调运行当中,机械臂之间以... 展开更多; 关键词机器人碰撞检测形式化方法定理证明 HOL-Light; 在线阅读下载PDF 职称材料

基于精化的可信执行环境内存隔离机制验证被引量：5: 4; 作者靳翠珍张倩颖 +4 位作者马雨薇李希萌王国辉施智平关永《软件学报》 EI CSCD 北大核心 2022年第6期2189-2207,共19页; 可信执行环境(trusted execution environment,TEE)基于硬件隔离机制,为安全敏感应用提供隔离的执行环境,保护敏感数据的安全性.内存隔离机制是TEE的关键机制之一,用于对安全内存和非安全内存进行隔离,并对安全内存实施访问控制,如果其... 展开更多; 关键词 TEE 内存隔离机制形式化验证精化关系信息流安全性; 在线阅读下载PDF 职称材料

面向ROS的差分模糊测试方法被引量：4: 5; 作者王颖王冰青 +2 位作者关永李晓娟王瑞《软件学报》 EI CSCD 北大核心 2021年第6期1867-1881,共15页; 机器人操作系统(robot operating system,简称ROS)是一种广泛应用于机器人开发的开源系统,它可以为开发者提供硬件抽象、设备驱动、库函数、可视化、消息传递和软件包管理等诸多功能,应用前景广阔.ROS集成了可以实现不同功能的功能包,... 展开更多; 关键词差分模糊测试机器人操作系统功能包漏洞检测可靠性; 在线阅读下载PDF 职称材料

题名具有多传感器的CPS系统的攻击检测被引量：5: 1; 作者杨康王瑞关永李晓娟施智平 Xiaoyu SONG; 机构轻型工业机器人与安全验证北京市重点实验室(首都师范大学信息工程学院) 电子系统可靠性与数理交叉学科国家国际科技合作示范型基地(首都师范大学) Portland State University; 出处《软件学报》 EI CSCD 北大核心 2019年第7期2018-2032,共15页; 基金国家自然科学基金(61877040,61702348,61602325) 国家重点研发计划(2017YFB1301100)~~; 文摘信息物理系统(cyber-physical systems,简称CPS)是基于环境感知实现计算、通信与物理元素紧密结合的下一代智能系统,广泛应用于安全攸关的系统和工业控制等领域。信息技术与物理世界的相互作用使得CPS容易受到各种恶意攻击,从而破坏其安全性。主要研究存在瞬态故障的CPS中传感器的攻击检测问题。考虑具有多个传感器测量相同物理变量的系统,其中一些传感器可能受到恶意攻击并提供错误的测量。此外,使用抽象传感器模型,每个传感器为控制器提供一个真实值的可能间隔。已有的用于检测传感器被恶意攻击的方法是保守的。当专业攻击者在一段时间内轻微地或不频繁地操纵传感器的输出时,现有方法很难捕获到攻击,如隐身攻击。为了解决这个问题,设计了一种基于融合间隔和历史测量的传感器攻击检测方法。该方法首先为不同的传感器构建不同的故障模型,使用系统动力学方程把历史测量融入到攻击检测方法中,从不同的方面分析传感器的测量。另外,利用历史测量和融合间隔解决了两个传感器的测量相交时是否存在故障的问题。该方法的核心思想是利用传感器之间的成对不一致关系检测和识别攻击。从EV3地面车辆上获得真实的测量数据来验证算法的性能。实验结果表明,所提出的方法优于现有方法,对各种攻击类型都有较好的检测和识别性能,特别是对于隐身攻击,检测率和识别率大约提高了90%以上。; 关键词 CPS 安全性瞬态故障多传感器融合算法传感器攻击检测和识别; Keywords cyber-physical system security transient fault multi-sensor fusion algorithm sensor attack detection and identification; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名面向实时数据的CPS一体化建模方法被引量：7: 2; 作者罗晨霞王瑞关永李晓娟施智平 Xiaoyu SONG; 机构轻型工业机器人与安全验证北京市重点实验室(首都师范大学信息工程学院) 电子系统可靠性与数理交叉学科国家国际科技合作示范型基地(首都师范大学) Portland State University; 出处《软件学报》 EI CSCD 北大核心 2019年第7期1966-1979,共14页; 基金国家自然科学基金(61877040,61702348,61602325) 国家重点研发计划(2017YFB1303000)~~; 文摘信息物理系统(cyber-physical system,简称CPS)是一个在环境感知的基础上整合了物理和计算元素的系统,它可以智能地响应真实世界的动态变化,具有重要而广阔的应用前景。然而,CPS工作在复杂的物理环境中,周围的物理变化会对CPS的行为产生影响。因此,确保CPS在复杂环境中的安全性和可靠性至关重要。提出了一种面向实时数据的一体化建模方法,通过定义一系列的规则,将领域环境模型组合到运行时验证过程中去,从而保证CPS在不确定环境中的安全性和可靠性。该方法首先为环境建立数学模型。然后,设计合并规则将相同系统参数下仅有一个环境影响因子的数学模型合并为相同系统参数下有一个或多个环境影响因子的数学模型。之后,定义转换规则,将数学模型转换为伪代码表示的环境模型。最后,根据组合规则将环境模型组合到运行时监视模型中执行验证。该方法使得监视模型更加完整、准确,当环境发生变化时,通过动态调整参数范围使得CPS中的安全属性在复杂的物理环境中仍然得以满足。将该方法应用到移动机器人避障实验中,对影响电池容量的温度和湿度进行数学建模,然后将环境模型组合到监视模型中去,最终实现在执行任务前可以根据不同的物理环境准确地给出续航时间安全提醒。; 关键词运行时验证实时性 CPS 环境建模安全性; Keywords runtime verification real-time CPS environment modeling security; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名机器人碰撞检测方法形式化被引量：8: 3; 作者陈善言关永施智平王国辉; 机构首都师范大学信息工程学院电子系统可靠性与数理交叉学科国家国际科技合作示范型基地(首都师范大学) 轻型工业机器人与安全验证北京市重点实验室(首都师范大学) 电子系统可靠性技术北京市重点实验室(首都师范大学) 高可靠嵌入式系统北京市工程研究中心(首都师范大学); 出处《软件学报》 EI CSCD 北大核心 2022年第6期2246-2263,共18页; 基金国家重点研发计划(2019YFB1309900) 国家自然科学基金(61876111,61877040,62002246) +2 种基金特区项目(18-163-11-ZT-005-038-05) 中央支持地方建设——“双一流”建设项目(20531120005)。; 文摘为应对更为复杂的任务需求,现代机器人产业发展愈发迅猛.出于协调工作的灵活性、柔顺性以及智能性等多项考虑因素,多臂/多机器人充分发挥了机器人的强大作用,成为现代机器人产业的重要研究热点.在机器人双臂协调运行当中,机械臂之间以及机械臂与外部障碍物之间容易发生碰撞,可能会造成财产损失甚至人员伤亡.对机器人碰撞检测方法进行形式化验证,以球体和胶囊体形式化模型为基础,构建基本几何体单元之间最短距离和机器人碰撞的高阶逻辑模型,证明其相关属性及碰撞条件,建立机器人碰撞检测方法基础定理库,为多机系统碰撞检测算法可靠性与稳定性的验证提供技术支撑和验证框架.; 关键词机器人碰撞检测形式化方法定理证明 HOL-Light; Keywords robotics collision detection formal method theorem proving HOL-Light; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于精化的可信执行环境内存隔离机制验证被引量：5: 4; 作者靳翠珍张倩颖马雨薇李希萌王国辉施智平关永; 机构首都师范大学信息工程学院高可靠嵌入式系统北京市工程研究中心(首都师范大学) 计算机体系结构国家重点实验室(中国科学院计算技术研究所) 电子系统可靠性技术北京市重点实验室(首都师范大学) 电子系统可靠性与数理交叉学科国家国际科技合作示范型基地(首都师范大学); 出处《软件学报》 EI CSCD 北大核心 2022年第6期2189-2207,共19页; 基金国家自然科学基金(61802375,61602325,61876111,61877040,62002246) 北京市教委科技计划(KM201910028005,KM202010028010) +1 种基金中央支持地方建设-“双一流”建设项目(20531120005)。; 文摘可信执行环境(trusted execution environment,TEE)基于硬件隔离机制,为安全敏感应用提供隔离的执行环境,保护敏感数据的安全性.内存隔离机制是TEE的关键机制之一,用于对安全内存和非安全内存进行隔离,并对安全内存实施访问控制,如果其安全性不能保证,可能造成存储在安全内存中的敏感数据泄露.为验证TEE内存隔离机制的安全性,针对基于ARM TrustZone技术构建的TEE,提出一种基于精化的可信执行环境内存隔离机制安全性验证方法.建立抽象模型和具体模型,并定义两种模型之间的精化关系,在证明精化关系成立和抽象模型满足信息流安全性的前提下,验证具体模型的信息流安全性.具体模型建模了TEE内存隔离机制的关键硬件和软件,包括TrustZone地址空间控制器、MMU和TrustZone monitor等,在定理证明器Isabelle/HOL中,验证了该模型满足无干扰、无泄露、无影响等信息流安全属性.; 关键词 TEE 内存隔离机制形式化验证精化关系信息流安全性; Keywords TEE memory isolation mechanism formal verification refinement relation information flow security; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名面向ROS的差分模糊测试方法被引量：4: 5; 作者王颖王冰青关永李晓娟王瑞; 机构首都师范大学信息工程学院轻型工业机器人与安全验证北京市重点实验室(首都师范大学) 电子系统可靠性与数理交叉学科国家国际科技合作示范型基地(首都师范大学); 出处《软件学报》 EI CSCD 北大核心 2021年第6期1867-1881,共15页; 基金国家重点研发计划(2019YFB1309900) 国家自然科学基金(61877040) +1 种基金上海控安开放课题。; 文摘机器人操作系统(robot operating system,简称ROS)是一种广泛应用于机器人开发的开源系统,它可以为开发者提供硬件抽象、设备驱动、库函数、可视化、消息传递和软件包管理等诸多功能,应用前景广阔.ROS集成了可以实现不同功能的功能包,例如定位绘图、行动规划、感知、模拟等等,但其中可能存在一些漏洞,破坏整个机器人系统的安全性和可靠性.提出了一种差分模糊测试方法对ROS不同版本的功能包进行测试,找出其中的漏洞.该方法包括测试用例生成和差分模糊测试执行两个模块:首先,对于输入文件进行加载、处理,并基于策略生成的方法生成测试用例文件;其次,节点间使用话题通信机制实现通信,使用上一模块生成的测试用例文件作为统一的模糊输入,对ROS不同版本的功能包进行差分模糊测试;接着,对测试结果中的不一致输出进行差异计算并评估,符合评估指标的种子将被保留并反馈给用例生成模块循环生成测试用例,有效提高了种子质量及代码覆盖率;最后分析不一致输出原因,找出漏洞.将该方法应用在机器人坐标转换的实验中,实现对不同参考系下坐标转换的功能包TF和TF2的测试.最终的实验结果表明:与TF2相比,TF在功能实现上更加准确.TF2实现坐标旋转变换的函数存在漏洞.; 关键词差分模糊测试机器人操作系统功能包漏洞检测可靠性; Keywords differential fuzz testing ROS packages vulnerabilities detection reliability; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	具有多传感器的CPS系统的攻击检测	杨康王瑞关永李晓娟施智平 Xiaoyu SONG	《软件学报》 EI CSCD 北大核心	2019	5	在线阅读下载PDF 职称材料
2	面向实时数据的CPS一体化建模方法	罗晨霞王瑞关永李晓娟施智平 Xiaoyu SONG	《软件学报》 EI CSCD 北大核心	2019	7	在线阅读下载PDF 职称材料
3	机器人碰撞检测方法形式化	陈善言关永施智平王国辉	《软件学报》 EI CSCD 北大核心	2022	8	在线阅读下载PDF 职称材料
4	基于精化的可信执行环境内存隔离机制验证	靳翠珍张倩颖马雨薇李希萌王国辉施智平关永	《软件学报》 EI CSCD 北大核心	2022	5	在线阅读下载PDF 职称材料
5	面向ROS的差分模糊测试方法	王颖王冰青关永李晓娟王瑞	《软件学报》 EI CSCD 北大核心	2021	4	在线阅读下载PDF 职称材料