| Kerberos协议的形式化分析 |
| |
| 引用本文： | 陈灿,李俊. Kerberos协议的形式化分析[J]. 微电子学与计算机, 2006, 23(6): 49-51,55 |
| |
| 作者姓名： | 陈灿 李俊 |
| |
| 作者单位： | 1. 中国科学院计算机网络信息中心,北京,100080;中国科学院研究生院,北京,100039
2. 中国科学院计算机网络信息中心,北京,100080 |
| |
| 摘 要： | 认证协议是网络环境中一类重要的安全协议，对协议进行形式化分析是保障其安全性的主要手段。文章以BAN逻辑为工具．分析了网络中常用的Kerbems认证协议。结果表明。Kerbems协议达到了预期的认证目标。
|
| 关 键 词： | 安全协议 BAN逻辑 Kerberos协议 |
| 文章编号： | 1000-7180（2006）06-049-03 |
| 收稿时间： | 2005-07-15 |
| 修稿时间： | 2005-07-15 |
Formal Analysis of Kerberos Protocol |
| |
| CHEN Can,LI Jun. Formal Analysis of Kerberos Protocol[J]. Microelectronics & Computer, 2006, 23(6): 49-51,55 |
| |
| Authors: | CHEN Can LI Jun |
| |
| Affiliation: | 1 .Computer Network Information Center, Chinese Academy of Sciences, Beijing 100080;2 .Graduate School of the Chinese Academy of Sciences, Beijing 100039 |
| |
| Abstract: | Authentication protocol is one important kind protocol in network environment, and formal analysis is the key method to guarantee its security properties. In this paper, Kerberos protocol is analyzed using BAN logic. The research results reveal that the protocol achieves the expectative authentication goals. |
| |
| Keywords: | Authentication protocol BAN logic Kerberos protocol |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
