| 一种认证方案的形式分析 |
| |
| 引用本文： | 白跃彬,郑守淇,刘轶,朱利.一种认证方案的形式分析[J].西安交通大学学报,2001,34(4):370-372. |
| |
| 作者姓名： | 白跃彬 郑守淇 刘轶 朱利 |
| |
| 作者单位： | 西安交通大学电子与信息工程学院, |
| |
| 基金项目： | 国家“八六三”高技术发展计划资助项目(863-306-ZD-07-03)． |
| |
| 摘 要： | 首先对用于认证方案分析的BAN逻辑进行了分析并指出了它的限制，在此基础上提出了一种新的扩展，并将BAN逻辑应用到基于HMAC认证方案的分析中。通过对已实现的远程访问认证方案的分析，证明了上述扩展的有效性和合理性，分析结果表明认证方案达到了预期的安全设计目标。
|
| 关 键 词： | 网络安全 形式分析 BAN逻辑 认证方案 远程访问认证 安全设计 |
| 文章编号： | 0253-987X(2001)04-0370-03 |
| 修稿时间： | 2000年8月30日 |
Formal Analysis of an Authentication Solution |
| |
| Bai Yuebin,Zheng Shouqi,Liu Yi,Zhu Li.Formal Analysis of an Authentication Solution[J].Journal of Xi'an Jiaotong University,2001,34(4):370-372. |
| |
| Authors: | Bai Yuebin Zheng Shouqi Liu Yi Zhu Li |
| |
| Abstract: | After analysis of BAN logic used in formal analysis of authentication solution its localization on MAC was found. Based on this fact a new axiomatized rule of BAN logic to analyze HMAC based authentication scheme is presented. This method simplifies the formal analysis in the above scheme and can achieve the expected security goals. |
| |
| Keywords: | network security authentication formal analysis BAN logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
