您当前的位置:网站首页 > 高校驿站 > 校园传真 >

西电网信院杨超教授与马建峰教授团队研究成果被顶级国际会议ICSE 2022录用

2021-12-10 11:12  来源:西安电子科技大学  字号:T|T

近日,网络与信息安全学院杨超教授与马建峰教授团队的关于无人机系统安全的最新研究成果“Control Parameters Considered Harmful: Detecting Range Specification Bugs in Drone Configuration Modules via Learning-Guided Search”,被第44届国际软件工程会议(ACM/IEEE44th International Conference on Software Engineering,ICSE 2022)全文录用,并将在大会上作学术报告。ACM/IEEEICSE是软件工程领域的顶级国际会议,也是中国计算机学会推荐的A类国际会议,迄今已举办44届,论文录取率一般为20%左右。该成果由西安电子科技大学、澳洲新南威尔士大学、上海交通大学和美国普渡大学合作完成,第一作者为杨超教授和马建峰教授指导的博士研究生韩瑞冬。

论文报告了“无人机系统安全”方面研究的一项重要进展,主要内容是发现了无人机系统中合法参数配置的某些组合在一定约束条件下会破坏飞行控制系统的物理语义,导致飞行异常等安全问题。为了实现可靠性和适应性,无人机设备开发者为用户提供了可更改的控制以及任务参数。用户通过修改这些参数来修改无人机的飞行状态和飞行方式。同时,开发者为保证用户使用的安全性,限制了参数的取值范围以防止不合适的配置出现。然而,由于缺乏对控制参数值的充分检查,配置参数(限制范围内)仍能引入某些漏洞。在用户选择参数值来设置某些特定配置时,可能会触发不稳定的飞行状态,例如轨迹偏差甚至无人机坠毁。甚至,该问题可被外部攻击者利用对无人机进行攻击,并伪装成意外事件。

无人机飞控系统安全缺陷示意图

这项工作发现了该问题并开发一种专门用于检测该范围规范错误的方法。方法通过学习引导模糊测试方法来搜索潜在的不合适配置,并利用搜索结果生成可灵活变化的参数范围指导。该方案的特点是使用机器学习的方案来对配置造成的影响进行预估,进而达到加速模糊测试过程的效果。

威胁检测方案整体流程图

该项工作总共探索了不合理配置会导致的五种严重飞行问题,并使用真实无人机对这几种错误进行了实际验证,验证结果与理论预测符合。同时,该项工作还基于智能优化算法给出了“语义安全”的飞行控制参数范围,帮助使用者减少参数配置上带来的安全问题。

据悉,杨超教授和马建峰教授带领的无人系统安全团队近年来致力于无人机/无人车/嵌入式等无人系统的安全问题研究,多项研究成果在国内外旗舰会议和期刊上发表,得到了领域内专家与学者的认可。该最新成果为无人系统安全研究提供了新的视角,也为无人机安全应用的参数配置提供了方法与指导。

论文链接:

ICSE2022:https://arxiv.org/abs/2112.03511

    相关文章
    网信院组织开展行政管理人员能力提升专题培训暨机关支部主题党日活动

    为进一步提升学院行政管理干部业务水平和履职能力,建设一支具有较高政治理论素养、作风优良、具有较高执行能力、善于管理、团结合作、敢于担当、勇于创新的行政管理队伍,12月1日下午,网络与…[阅读]

    网信院青年教师赴西安电子科技大学AI+教育中心参观学习

    为提升网络与信息安全学院教师信息化技能,更好的将AI+技术应用于教学科研过程中,11月26日下午,网络与信息安全学院联合本科生院组织新入职教师赴西安电子科技大学AI+教育中心参观学习。 在讲…[阅读]

    教师共同聚力,提高教育教学质量——网信院举办教学技能研讨暨青年教师试讲点评会

    为提升青年教师教学能力素养,强化学院骨干教师传帮带教学引领作用,11月26日下午,网信院教学技能研讨暨青年教师试讲点评会在行政辅楼一楼会议室召开。学院执行院长李晖教授参加会议并致辞,学…[阅读]

    网信院举办研究生学术年会之国奖沙龙第二期

    11月29日上午,在行政辅楼一楼会议室举办了网络与信息安全学院研究生学术年会之国奖沙龙第二期,本期国奖沙龙邀请了李颖莹、赵艺淋和王虎三位研究生国家奖学金获得者向同学们介绍科研成果,分享…[阅读]

    双院育人 | 网信院院长胡瑞敏走进海棠2号书院开展“网安大讲堂”系列讲座

    为充分发挥学院书院双院育人融合优势,增强计算机类学生专业感知度和认知力,了解行业前沿发展方向,11月25日下午,网络与信息安全学院联合海棠2号书院在书院大厅开展题为《2021国家安全研究与…[阅读]