基于SPIN的Andrew Secure RPC协议并行攻击模型检测

基于SPIN的Andrew Secure RPC协议并行攻击模型检测肖美华;朱科;马成林
【期刊名称】《计算机科学》
【年(卷),期】2015(042)007
【摘要】Andrew Secure RPC协议具有身份认证和秘钥交换功能,其因简洁明了而被广泛应用于对称密钥加密体系中.模型检测技术具有高度自动化的优点,在协议安全性验证领域得到广泛应用,但模型检测方法只能检测到一轮协议会话中存在的攻击,难以检测到多轮并行会话中存在的并行攻击.针对Andrew SecureRPC协议运行环境中存在的并行性与可能出现的安全隐患,提出了组合身份建模方法.该方法运用著名的SPIN模型检测工具,对Andrew Secure RPC协议进行模型检测,从而得到攻击序列图,成功发现并行反射攻击和类缺陷攻击.上述组合身份建模方法为复杂环境下协议的模型检测提供了新的方向.
【总页数】5页(P103-107)
【作者】肖美华;朱科;马成林
【作者单位】华东交通大学软件学院南昌330013;华东交通大学软件学院南昌330013;华东交通大学软件学院南昌330013
【正文语种】中文
【中图分类】TP393.08
【相关文献】
1.基于串空间模型的Andrew安全RPC协议分析 [J], 刘慧芳
2.基于形式方法的Andrew RPC认证协议的分析与改进 [J], 白汉利;蔡红柳;郑广
3.基于SPIN的网络认证协议高效模型检测 [J], 缪力;谭志华;张大方
4.基于串空间模型的Andrew RPC协议的分析与验证 [J], 周清雷;赵琳;赵东明
5.Andrew Secure RPC协议的一种组合分析方法 [J], 刘跃军;王红旗;杨强
因版权原因，仅展示原文概要，查看原文内容请购买。