| Otway Rees协议的安全分析 |
| |
| 引用本文： | 曾子维,李鹏,孙学波. Otway Rees协议的安全分析[J]. 计算机应用与软件, 2006, 23(2): 122-124 |
| |
| 作者姓名： | 曾子维 李鹏 孙学波 |
| |
| 作者单位： | 鞍山科技大学计算机科学与工程学院,辽宁,鞍山,114044;鞍山科技大学计算机科学与工程学院,辽宁,鞍山,114044;鞍山科技大学计算机科学与工程学院,辽宁,鞍山,114044 |
| |
| 摘 要： | 互联网的迅速发展引起人们对协议安全性的关注，现在国际上流行安全协议的分析方法集中在形式化验证方面，其中BAN逻辑是一种方法。本文通过使用BAN逻辑证明Otway Rees协议的安全性，同时也得出BAN逻辑在证明协议安全性方面的一些缺陷。
|
| 关 键 词： | 安全协议 BAN逻辑 Otway Rees协议 |
| 收稿时间： | 2004-12-27 |
| 修稿时间： | 2004-12-27 |
SECURITY ANALYSIS OF THE OTWAY REES PROTOCOL |
| |
| Zeng Ziwei,Li Peng,Sun Xuebo. SECURITY ANALYSIS OF THE OTWAY REES PROTOCOL[J]. Computer Applications and Software, 2006, 23(2): 122-124 |
| |
| Authors: | Zeng Ziwei Li Peng Sun Xuebo |
| |
| Affiliation: | College of Computer Science and Engineering,Anshan Uniwrsity of Science and Technology,Anshan Liaoning 114044, China |
| |
| Abstract: | With the rapid development of the Internet, a lot of attention have been paid to tbe security problems of the protocols. Now the way of analysis of cryptograpbic protocols focuses on formal verification, BAN logic is one among these methods. In this paper, we have proved the security of Otway Rees by BAN logic and discover some limitation of BAN logic on proving the security problems of the protocols. |
| |
| Keywords: | Cryptographic protocol BAN logic Otway Rees protocol |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
