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

New inter-realm authentication protocol and its formalization verification

作　　者：宋震[1] 李斌[2] 窦文华[1] 

机构地区：[1]国防科技大学计算机学院,湖南长沙410073 [2]解放军信息工程大学电子技术学院,河南郑州450004

出　　处：《计算机工程与设计》2007年第23期5601-5603,共3页Computer Engineering and Design

基　　金：国家自然科学基金项目(0312001800)

摘　　要：Internet上不同的安全域间要实现信息资源的安全访问首先需要认证。目前常用的认证协议是Kerberos协议,但在网络环境下,该协议无法对真实的客户端进行认证。因此,给出了新的域间身份认证协议以及相应的"现时"产生方案,并利用改进的Spi演算对所设计的认证协议进行了分析,证明了该协议的安全性,能够有效地解决网间的信息安全传输。In order to access resources in different areas on Intemet in a security way, authentication is the first key step. Kerberos authentication protocol is widely used. But Kerberos protocol doesn＇t authenticate the client that requests the resources on Intemet, so a new inter-realm authentication protocol and a generation schemes about ＂nonce＂ are presented. Then we used the Spi calculus to analyze the authentication protocol, and proved the security of protocol, The proposed scheme can solve the problem of security information transferring between networks.

关 键 词：KERBEROS协议 SPI演算 域间身份认证 

分 类 号：TP393.04[自动化与计算机技术—计算机应用技术]