安全协议AndrewRPC的SPIN模型检测

【文件属性】：

文件名称：安全协议AndrewRPC的SPIN模型检测

文件大小：1.55MB

文件格式：PDF

更新时间：2015-03-30 06:32:12

安全协议 AndrewRPC SPIN Promela 安全漏洞

本文运用模型检测技术，以Dolev-Yao模型为基础，提出了使用Promela语言和模型检测工具SPIN对Andrew RPC 协议进行建模和分析的方法，发现了该协议存在重放攻击漏洞，该方法具有一定通用性和很好的参考价值。