一种快速安全认证协议及其形式化分析

• 作者: 王惠斌 祝跃飞
• 来源期刊: 科技与创新
• 关键词: 认证协议 效率 形式化分析 PCL
• 年，卷（期）: 2008,（27）
• 所属期刊栏目: 信息安全
• 页码范围: 68-70
• 页数: 3页
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2008.27.027

摘要

介绍了现有的常用身份认证方法,分析了其安全性和不足之处,针对安全性和效率问题,提出了一种可实现快速安全认证的一种新协议,差使用协议组合逻辑形式化分析了新协议的安全性和新协议的效率,结果证明该协议既具有基于证书的公钥密码体制的安全性,又保持了对称密码体制的高效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	祝跃飞	郑州信息工程大学信息工程学院	2	12	2.0	2.0
2	王惠斌	郑州信息工程大学信息工程学院	1	2	1.0	1.0