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