软件学报

作者：杨康,王瑞,关永,李晓娟,施智平,Xiaoyu SONG

单位：杨康，轻型工业机器人与安全验证北京市重点实验室(首都师范大学 信息工程学院), 北京 10004811,王瑞，轻型工业机器人与安全验证北京市重点实验室(首都师范大学 信息工程学院), 北京 100048;电子系统可靠性与数理交叉学科国家国际科技合作示范型基地(首都师范大学), 北京 10004802,关永，电子系统可靠性与数理交叉学科国家国际科技合作示范型基地(首都师范大学), 北京 10004803,李晓娟，轻型工业机器人与安全验证北京市重点实验室(首都师范大学 信息工程学院), 北京 100048;电子系统可靠性与数理交叉学科国家国际科技合作示范型基地(首都师范大学), 北京 10004804,施智平，电子系统可靠性与数理交叉学科国家国际科技合作示范型基地(首都师范大学), 北京 10004805,Xiaoyu SONG，Portland State University, Portland 97230, OR 97230, USA06

关键词：CPS;安全性;瞬态故障;多传感器融合算法;传感器攻击检测和识别

基金：国家自然科学基金（61877040，61702348，61602325）；国家重点研发计划（2017YFB1301100）

信息物理系统（cyber-physical systems，简称CPS）是基于环境感知实现计算、通信与物理元素紧密结合的下一代智能系统，广泛应用于安全攸关的系统和工业控制等领域.信息技术与物理世界的相互作用使得CPS容易受到各种恶意攻击，从而破坏其安全性.主要研究存在瞬态故障的CPS中传感器的攻击检测问题.考虑具有多个传感器测量相同物理变量的系统，其中一些传感器可能受到恶意攻击并提供错误的测量.此外，使用抽象传感器模型，每个传感器为控制器提供一个真实值的可能间隔.已有的用于检测传感器被恶意攻击的方法是保守的.当专业攻击者在一段时间内轻微地或不频繁地操纵传感器的输出时，现有方法很难捕获到攻击，如隐身攻击.为了解决这个问题，设计了一种基于融合间隔和历史测量的传感器攻击检测方法.该方法首先为不同的传感器构建不同的故障模型，使用系统动力学方程把历史测量融入到攻击检测方法中，从不同的方面分析传感器的测量.另外，利用历史测量和融合间隔解决了两个传感器的测量相交时是否存在故障的问题.该方法的核心思想是利用传感器之间的成对不一致关系检测和识别攻击.从EV3地面车辆上获得真实的测量数据来验证算法的性能.实验结果表明，所提出的方法优于现有方法，对各种攻击类型都有较好的检测和识别性能，特别是对于隐身攻击，检测率和识别率大约提高了90%以上.

来源：2019年第7期

《软件学报》期刊编辑部

查看软件学报杂志2019年第7期