摘要
介绍了现有的常用身份认证方法,分析了其安全性和不足之处,针对安全性和效率问题,提出了一种可实现快速安全认证的一种新协议,并使用协议组合逻辑形式化分析了新协议的安全性和新协议的效率,结果证明该协议既具有基于证书的公钥密码体制的安全性,又保持了对称密码体制的高效性。
Introduce the ways of authentication in this paper. Put forward a new design of Authentication Protocol for the security and efficiency. Formally analysis the security properties of improved designs with Protocol Composition Logic, Results show that the security Protocol is secure and is a highly efficient
出处
《微计算机信息》
北大核心
2008年第27期68-70,共3页
Control & Automation
基金
国家自然科学基金委(60473021)项目名称:<可证安全理论与椭圆曲线密码体制设计>基金申请人:祝跃飞
关键词
认证协议
效率
形式化分析
PCL
authentication protocol
efficiency
Formally analysis
PCL
