支持移动网络的身份验证协议研究

为了解决主机在移动过程中发生跨域时，移动网络应用层的安全性，结合移动网络的特点以及存在的安全威胁，对kerberos域间身份验证协议进行改进，减少客户端参与的协议报文交互次数，使其适合为移动网络的应用服务提供身份验证服务，并采用形式化方法对改进的身份验证协议进行安全性验证。结果表明改进的安全协议能够提供与原有协议相同的安全性。