基于Spi演算的Kerberos认证协议形式化研究

• 作者: 傅育熙 李国强 顾永跟
• 来源期刊: 计算机科学
• 关键词: Spi演算 Kerberos协议 测试等价
• 年，卷（期）: 2004,（11）
• 页码范围: 7-10
• 页数: 4页
• 字数: 4924字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2004.11.003

摘要

网络安全已成为世人关注的问题,安全协议的形式化验证显得越来越重要,基于Spi演算的验证是一种很好的模型检测方法.我们介绍了Spi演算并扩展了两个基本原语,描述和验证Kerberos协议的认证性,同时指出了该协议的不足之处,最后分析了基于Spi演算的形式化研究的今后发展方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	傅育熙	上海交通大学计算机系	23	137	6.0	11.0
2	李国强	上海交通大学计算机系	13	44	4.0	6.0
3	顾永跟	上海交通大学计算机系	5	39	4.0	5.0