对Otway-Rees协议的一个改进方法  

作　　者：卢凤清[1] 林东岱[1] 

机构地区：[1]中国科学院软件研究所

出　　处：《计算机应用》2007年第B06期260-260,263,共2页journal of Computer Applications

摘　　要：在使用串空间理论对Otway-Rees协议进行分析时发现协议的双方不能保证收到的会话密钥的一致性。针对这一问题,提出了一种改进方法,改进后的方法不仅保证了会话密钥的一致性,而且使双方的认证性得到了改善。

关 键 词：串空间 认证测试 形式化方法 认证协议 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]