-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=无人机无线通信协议 "
共 条 记 录，以下是1-1

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
无人机无线通信协议的形式化认证分析与验证被引量：2
《计算机测量与控制》2021年第4期244-250,共7页刘栋 连晓峰 王宇龙 谭励 赵宇琦 李林 
装备发展部项目(170341402020)。
针对无人机组与地面控制站之间进行无线通信时的身份认证问题,首先分析无线通信协议的工作流程及其形式化表示,然后对网络系统中的诚实主体和攻击者进行形式化建模,其中推导了协议安全属性的LTL公式,通过建立密钥机制,实现控制站与无人...
关键词：无人机无线通信协议 形式化表示与建模 模型检测工具SPIN 攻击者知识项获取 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部