1. 首页
  2. 安全技术
  3. 网络安全
  4. 安全协议AndrewRPC的SPIN模型检测

安全协议AndrewRPC的SPIN模型检测

上传者: 2019-09-06 08:48:16上传 PDF文件 1.55MB 热度 25次
本文运用模型检测技术,以Dolev-Yao模型为基础,提出了使用Promela语言和模型检测工具SPIN对AndrewRPC协议进行建模和分析的方法,发现了该协议存在重放攻击漏洞,该方法具有一定通用性和很好的参考价值。
用户评论