可证安全的移动互联网可信匿名漫游协议

Provable Secure Trusted and Anonymous Roaming Protocol for Mobile Internet

文中提出了移动互联网下移动可信终端(MTT)的可信漫游协议,协议仅需1轮消息交互即可实现MTT的匿名漫游证明,远程网络认证服务器通过验证MTT注册时家乡网络认证服务器为其签发的漫游证明信息的合法性,完成对MTT相关属性的认证,同时保证了MTT隐私信息的安全性和匿名性.最后运用CK安全模型证明了协议是会话密钥安全的,在继承传统漫游协议身份匿名性和不可追踪性的同时,具有较高的安全性、抗攻击性和通信效率.

The trusted roaming protocol of Mobile Trusted Terminal （MTT） in Mobile Internet is presented in this paper. The remote network authentication server proves the legality of roaming authentication information which is signed and published by home network authentication server when its registration. The process of anonymous roaming authentication is accomplished by merely one round of messages exchange. At the same time, the safety and anonymity of the MTT privacy information can be ensured in this process. Finally, the current paper successfully proves that this protocol is SK-security by applying CK security model. This protocol not only inherits the identity anonymity and non-tracking from traditional roaming protocol, but also has high security, anti-aggression and communication efficiency.