| Kerberos协议安全性的SPIN分析 |
| |
| 引用本文： | 熊昊,徐杰.Kerberos协议安全性的SPIN分析[J].现代计算机,2008(10). |
| |
| 作者姓名： | 熊昊 徐杰 |
| |
| 作者单位： | [1]南昌大学计算中心,南昌330031 [2]江西交通职业技术学院．南昌330013,南昌330031 |
| |
| 摘 要： | 随着网络应用的迅速发展,协议的安全性显得越来越重要,对协议的安全性分析和研究也成为目前一个非常紧迫的课题.介绍Kerberos协议,然后采用非形式化方法对协议进行分析,最后使用模型检测工具SPIN对协议从安全属性的两个方面,认证性和保密性进行了分析,模拟实现了协议的重放攻击.
|
| 关 键 词： | Kerberos协议 安全性 重放攻击 |
SPIN Analysis for Security of Kerberos Protocol |
| |
| XIONG Hao,XU Jie.SPIN Analysis for Security of Kerberos Protocol[J].Modem Computer,2008(10). |
| |
| Authors: | XIONG Hao XU Jie |
| |
| Affiliation: | XIONG Hao1,XU Jie2(1.Computing Center,Nanchang University,Nanchang 330031,2.Jiangxi V&T College of Communication,Nanchang 330013) |
| |
| Abstract: | With the rapid development of network applications,security of protocols has been of great importance and now the analysis and research on protocols' security has also been an urgent task.Introduces Kerberos protocol,then uses informal methods to analysis protocols,and fi-nally applies model checker SPIN to analyse the protocol in two aspects of security proper-ty,authentication and secret property and simulates to achieve the replay attacks. |
| |
| Keywords: | SPIN |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
