10.3969/j.issn.1000-7024.2007.23.008
新的域间身份认证协议及其形式化验证
Internet上不同的安全域间要实现信息资源的安全访问首先需要认证.目前常用的认证协议是Kerberos协议,但在网络环境下,该协议无法对真实的客户端进行认证.因此,给出了新的域间身份认证协议以及相应的"现时"产生方案,并利用改进的Spi演算对所设计的认证协议进行了分析,证明了该协议的安全性,能够有效地解决网间的信息安全传输.
Kerberos协议、Spi演算、域间身份认证
28
TP393.04(计算技术、计算机技术)
国家自然科学基金0312001800
2008-04-07(万方平台首次上网日期,不代表论文的发表时间)
共3页
5601-5603