| 认证协议的形式逻辑分析方法——BAN类逻辑综述 |
| |
| 引用本文： | 束妮娜,王亚弟.认证协议的形式逻辑分析方法——BAN类逻辑综述[J].计算机应用研究,2002,19(9):17-20. |
| |
| 作者姓名： | 束妮娜 王亚弟 |
| |
| 作者单位： | 中国人民解放军信息工程大学,电子技术学院,河南,郑州,450004 |
| |
| 摘 要： | 介绍了最早的认证协议形式化分析方法———BAN逻辑及扩展的BAN逻辑 ,统称为BAN类逻辑。并通过分析比较 ,指出了各种扩展的BAN逻辑对原BAN逻辑的扩展和改进之处。
|
| 关 键 词： | 认证协议 BAN逻辑 扩展的BAN逻辑 |
| 文章编号： | 1001-3695(2002)09-0017-04 |
| 修稿时间： | 2001年11月27 |
Formal Logical Methods for Analysis of Authentication Protocols - BAN-like Logics |
| |
| SHU Ni na,WANG Ya di.Formal Logical Methods for Analysis of Authentication Protocols - BAN-like Logics[J].Application Research of Computers,2002,19(9):17-20. |
| |
| Authors: | SHU Ni na WANG Ya di |
| |
| Abstract: | This paper introduces the earliest formal methods for the analysis of authentication protocols-BAN logic and the extended BAN logic, go by the general name of BAN like logic. And points out the extended BAN logics' improvement on the original BAN logic by analyzing and comparing. |
| |
| Keywords: | Authentication Protocols BAN Logic Extended BAN Logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
