对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 |
本文献已被 维普 等数据库收录! |
|