模型检测工具SPIN相关论文
针对无人机组与地面控制站之间进行无线通信时的身份认证问题,首先分析无线通信协议的工作流程及其形式化表示,然后对网络系统中的......
网络认证协议的主要作用是验证通信主体的身份并协商安全的会话密钥,但在开放、分布式的网络复杂环境中认证协议可能会出现一些隐......
学位
