Kerberos协议安全性的符号模型检验分析

• 作者: 古天龙 李凤英 董荣胜 郭云川
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 符号模型验证 安全性 重放攻击
• 年，卷（期）: 2003,（29）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 177-180
• 页数: 4页
• 分类号: TP393.04|TP393.08
• 字数: 2559字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2003.29.057

摘要

基于模型检验的安全协议分析和验证是协议工程研究的一个新方向.该文建立了Kerberos协议的有限状态机模型,并用符号模型检验器(SMV)从安全属性的两个方面--认证性和保密性分析了Kerberos协议,指出了Kerberos协议的缺陷.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子工业学院计算机系	207	1546	18.0	30.0
2	董荣胜	桂林电子工业学院计算机系	115	1521	13.0	37.0
3	郭云川	桂林电子工业学院计算机系	25	119	8.0	10.0
4	李凤英	桂林电子工业学院计算机系	22	88	5.0	8.0