摘要
在现有WAI证书鉴别过程的基础上提出了一种增强型WAI证书鉴别过程,它除了实现现有WAI证书鉴别过程的功能外,还可以建立站(STA)与鉴别服务单元(ASU)之间的安全通道,以及接入点(AP)与ASU之间的安全通道,从而能很好地支撑可信连接架构(TCA)的平台认证。此外,利用串空间模型(SSM)证明了该增强型WAI证书鉴别过程是安全的,并指出了它与现有WAI证书鉴别过程是向后兼容的。
Based on the existing WAI certificate authentication process,an enhanced WAI certificate authentication process was proposed.Besides implementing the function of the existing WAI certificate authentication process,it can establish a secure channel between the Station(STA)and the authentication service unit(ASU),and a secure channel between the access point(AP)and the ASU,supporting the platform-authentication of the trusted connect architecture(TCA)well.Moreover,this enhanced WAI certificate authentication process was proved securely by using the strand space model(SSM)and we pointed out backward compatibility with the existing WAI certificate authentication process.
出处
《计算机科学》
CSCD
北大核心
2015年第S1期420-424,共5页
Computer Science
基金
国家自然科学基金项目(61402367)
陕西省信息化技术研究项目(2013-008)
西安邮电大学青年教师科研基金项目(401-1201)资助
关键词
WAI
证书鉴别过程
串空间模型
向后兼容
WAI,Certificate authentication process,Strand space model,Backward compatibility