| BAN类逻辑的进一步研究 |
| |
| 引用本文： | 陈更力,张青. BAN类逻辑的进一步研究[J]. 微计算机信息, 2006, 22(18): 84-86 |
| |
| 作者姓名： | 陈更力 张青 |
| |
| 作者单位： | 1. 430079,湖北,武汉,武汉大学计算机学院
2. 100876,北京,北京邮电大学理学院 |
| |
| 摘 要： | BAN类逻辑是近年来主要的密码协议分析工具之一,在分析了BAN逻辑存在的各类缺陷并用实例详细说明的基础上,研究和归纳了各种扩展的BAN类逻辑的特点和他们共同的缺陷,指出了BAN类逻辑应该改进的方面以及今后进一步的研究方向。
|
| 关 键 词： | 密码协议 形式化分析 BAN类逻辑 |
| 文章编号： | 1008-0570(2006)06-3-0084-03 |
| 修稿时间： | 2005-12-13 |
A Further Study on BAN-like Logics |
| |
| Chen,Gengli,Zhang,Qing. A Further Study on BAN-like Logics[J]. Control & Automation, 2006, 22(18): 84-86 |
| |
| Authors: | Chen Gengli Zhang Qing |
| |
| Abstract: | BAN-like logics is one of the main tools for analysis cryptographic protocols in recent years, the limitations of BAN logicare analyzed and illustrated with examples, and then the features of the extended BAN-like logics and their common defects arestudied. Finally, the improvement of BAN-like logics and further research problems are proposed. |
| |
| Keywords: | cryptographic protocol formal analysis BAN-like logics |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
