会议专题

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

安全协议是以密码学为基础的消息交换协议,其目的是在网络环境中提供各种安全服务。Andrew Secure RPC协议具有身份认证和秘钥交换功能,因其简洁明了而被广泛应用于对称密钥加密体系中模型检测技术具有高度自动化的优点,在协议安全性验证领域得到广泛应用,但模型检测方法.只能检测到一轮协议会话中存在的攻击,难以检测到多轮并行会话中存在的并行攻击针对Andrew Secure RPC协议运行环境中存在的并行性与可能出现的安全隐患,提出了组合身份建模方法,运用著名的SPIN模型检测工具,对Andrew Secure RPC协议进行模型检测,实验结果得到了攻击序列图,成功发现并行反射攻击和类缺陷攻击上述组合身份建模方法为复杂环境下协议的模型检测提供了新的方向.

计算机网络 Andrew Secure RPC协议 SPIN模型 并行攻击

肖美华 朱科 马成林

华东交通大学软件学院 南昌 330013

国内会议

2014全国理论计算机科学学术年会

济南

中文

1-6

2014-10-16(万方平台首次上网日期,不代表论文的发表时间)