《表1 无人机系统安全通信方案的安全机制》
式(8)在UPPAAL中验证不满足,因此本文的无人机系统安全通信方案不存在文献[20]中认证漏洞的可达性,防止了恶意中间人的攻击。表1给出了本文无人机系统安全通信方案的安全机制。
图表编号 | XD00197703800 严禁用于非法目的 |
---|---|
绘制时间 | 2020.08.10 |
作者 | 张凌浩、王胜、周辉、陈一凡、桂盛霖 |
绘制单位 | 国网四川省电力公司电力科学研究院、国网四川省电力公司电力科学研究院、国网四川省电力公司检修公司、电子科技大学计算机科学与工程学院、电子科技大学计算机科学与工程学院 |
更多格式 | 高清、无水印(增值服务) |