新的域间身份认证协议及其形式化验证

• 作者: 宋震 李斌 窦文华
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: Kerberos协议 Spi演算 域间身份认证
• 年，卷（期）: 2007,（23）
• 所属期刊栏目: 安全与保密技术
• 页码范围: 5601-5603
• 页数: 3页
• 分类号: TP393.04
• 字数: 3363字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7024.2007.23.008

摘要

Internet上不同的安全域间要实现信息资源的安全访问首先需要认证.目前常用的认证协议是Kerberos协议,但在网络环境下,该协议无法对真实的客户端进行认证.因此,给出了新的域间身份认证协议以及相应的"现时"产生方案,并利用改进的Spi演算对所设计的认证协议进行了分析,证明了该协议的安全性,能够有效地解决网间的信息安全传输.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	窦文华	国防科技大学计算机学院	73	616	13.0	21.0
2	宋震	国防科技大学计算机学院	6	53	4.0	6.0
3	李斌	解放军信息工程大学电子技术学院	6	9	2.0	3.0