自动化验证工具相关硕士博士期刊学术论文 - 搜论网

自动化验证工具相关论文

空间信息网络中基于动态撤销机制的安全高效批量认证方案

针对空间信息网络中大量移动用户跨域认证问题,提出了一种基于动态撤销机制的安全高效的批量认证方案.所提方案通过对卫星行动轨迹......

期刊

空间信息网络密钥协商动态撤销批量认证自动化验证工具

基于πt建模与约束求解的加密协议自动化验证算法及其工具的实现与研究

加密协议是信息安全的基石，加密协议能否实现用户所需的安全目标是所有加密协议设计者、使用者所关心的问题，但是加密协议的验证却是......

学位

加密协议验证 πt演算加密协议建模约束求解自动化验证工具

看过本文同时还关注