无人机无线通信协议的形式化认证分析与验证

刘栋; 连晓峰; 王宇龙; 谭励; 赵宇琦; 李林

首页> 中文期刊> 《计算机测量与控制》 >无人机无线通信协议的形式化认证分析与验证

无人机无线通信协议的形式化认证分析与验证

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

针对无人机组与地面控制站之间进行无线通信时的身份认证问题,首先分析无线通信协议的工作流程及其形式化表示,然后对网络系统中的诚实主体和攻击者进行形式化建模,其中推导了协议安全属性的LTL公式,通过建立密钥机制,实现控制站与无人机节点以及各个无人机节点之间的身份认证;运用模型检测工具SPIN验证无线通信协议的一致性,其中提出一种改进的知识项获取方法,加快攻击者需掌握知识集的求取过程;验证结果表明该无人机无线通信协议具有中间人攻击漏洞.

著录项

来源
《计算机测量与控制》 |2021年第4期|244-250|共7页
作者
刘栋; 连晓峰; 王宇龙; 谭励; 赵宇琦; 李林;
展开▼
作者单位

北京工商大学人工智能学院北京 100048;

北京工商大学人工智能学院北京 100048;

中国兵器工业信息中心北京 100089;

北京工商大学计算机学院北京 100048;

北京工商大学人工智能学院北京 100048;

北京工商大学人工智能学院北京 100048;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.08;
关键词
无人机无线通信协议; 形式化表示与建模; 模型检测工具SPIN; 攻击者知识项获取;

相似文献

中文文献
外文文献
专利

1. EAP-AKA无线认证协议的形式化验证方法 [J] . 李谢华 ,张孝红 . 计算机工程与科学 . 2009,第004期
2. 基于不同形式化模型的网络通信协议验证技术的分析与比较 [J] . 李艳 ,肖德宝 . 华中师范大学学报（自然科学版） . 2002,第004期
3. STP安全通信协议设计与形式化验证 [J] . LI Kun ,ZHANG Xuesong . 计算机工程 . 2018,第012期
4. CTCT-4级安全通信协议的形式化建模与验证 [J] . 胡晓辉 ,陈慧丽 ,石广田 . 计算机工程与应用 . 2014,第004期
5. 概率模型检验的CBTC系统通信协议的形式化验证 [J] . 谢雨飞 ,徐田华 ,唐涛 . 北京交通大学学报 . 2009,第005期
6. 形式化验证认证协议的研究 [C] . 肖德琴 ,肖德琴 . 1999信息安全国际会议 . 1999
7. CTCS-4级安全通信协议的形式化建模和验证 [A] . 陈慧丽 . 2013

无人机无线通信协议的形式化认证分析与验证

摘要

著录项

相似文献

相关主题

期刊订阅