|
|||||
|
|
| 一种快速安全认证协议及其形式化分析 | |
| 引用本文： | 王惠斌,祝跃飞.一种快速安全认证协议及其形式化分析[J].微计算机信息,2008,24(27). |
| 作者姓名： | 王惠斌 祝跃飞 |
| 摘 要： | 介绍了现有的常用身份认证方法,分析了其安全性和不足之处,针对安全性和效率问题,提出了一种可实现快速安全认证的一种新协议,差使用协议组合逻辑形式化分析了新协议的安全性和新协议的效率,结果证明该协议既具有基于证书的公钥密码体制的安全性,又保持了对称密码体制的高效性. |
| 关 键 词： | 认证协议 效率 形式化分析 |
A quick Authentication Protocol and Its Formally Analysis |
|
| WANG Hui-bin,ZHU Yue-fei.A quick Authentication Protocol and Its Formally Analysis[J].Control & Automation,2008,24(27). | |
| Authors: | WANG Hui-bin ZHU Yue-fei |
| Abstract: | |
| Keywords: | PCL |
| 本文献已被 万方数据 等数据库收录！ | |