| 基于串空间理论的kerberos协议的安全性分析 |
| |
| 引用本文： | 杨杰. 基于串空间理论的kerberos协议的安全性分析[J]. 电脑编程技巧与维护, 2010, 0(4): 110-110,113 |
| |
| 作者姓名： | 杨杰 |
| |
| 作者单位： | 湖南科技学院,永州,425100 |
| |
| 摘 要： | 运用串空间这一前沿的安全协议形式化分析方法,对kerberos协议的安全性进行了分析,得出了协议满足认证性和机密性的结论,并给出了一种新的kerberos协议的形式化证明方法,扩展了串空间理论在实用协议分析方面的应用。
|
| 关 键 词： | 串空间理论 安全协议 形式化分析方法 |
Security Analysis of Kerberos Protocol Based on SST |
| |
| YANG Jie. Security Analysis of Kerberos Protocol Based on SST[J]. Computer Programming Skills & Maintenance, 2010, 0(4): 110-110,113 |
| |
| Authors: | YANG Jie |
| |
| Affiliation: | Hunan Institute of Science and Technology;Yongzhou 425100 |
| |
| Abstract: | This paper has a detailed security analysis of Kerberos,using an advanced kind of formal analysis method-Strand Space,and get the conclusion that the protocol is safe.With the new formal analysis method of Kerberos was posed,the application range of SST got enlarged in the aspect of applied protocol's analysis. |
| |
| Keywords: | Strand Space Theory （SST） Security Protocol Formal Analysis Method |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
