首页 | 本学科首页   官方微博 | 高级检索  
     

对Otway-Rees协议的一个改进方法
引用本文:卢凤清,林东岱.对Otway-Rees协议的一个改进方法[J].计算机应用,2007,27(B06):260-260,263.
作者姓名:卢凤清  林东岱
作者单位:[1]中国科学院软件研究所,北京100080 [2]中国科学院研究生院,北京100049
摘    要:在使用串空间理论对Otway—Rees协议进行分析时发现协议的双方不能保证收到的会话密钥的一致性。针对这一问题,提出了一种改进方法,改进后的方法不仅保证了会话密钥的一致性,而且使双方的认证性得到了改善。

关 键 词:串空间  认证测试  形式化方法  认证协议
文章编号:1001-9081(2007)S1-0260-01
修稿时间:2006-09-04
本文献已被 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号