|
|||||
|
|
| 对Otway-Rees协议的一个改进方法 | |
| 作者姓名： | 卢凤清 林东岱 |
| 摘 要： | 在使用串空间理论对Otway-Rees协议进行分析时发现协议的双方不能保证收到的会话密钥的一致性.针对这一问题,提出了一种改进方法,改进后的方法不仅保证了会话密钥的一致性,而且使双方的认证性得到了改善. |
| 关 键 词： | 串空间 认证测试 形式化方法 认证协议 改善 认证性 改进方法 问题 一致性 会话密钥 发现协议 分析 串空间理论 使用 |
| 本文献已被 万方数据 等数据库收录！ | |
|
||||||||||||||
|
||||||||||||||
|
||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |