注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 安全协议AndrewRPC的SPIN模型检测

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

  3. 所属分类：网络安全

    • 发布日期：2012-03-09
    • 文件大小：1mb
    • 提供者：jiseven1208