| “对BAN逻辑中新鲜子的研究”的注记 |
| |
| 引用本文： | 袁丁,范平志,何明星.“对BAN逻辑中新鲜子的研究”的注记[J].电子与信息学报,2002,24(8):1131-1133. |
| |
| 作者姓名： | 袁丁 范平志 何明星 |
| |
| 作者单位： | 1. 西南交通大学移动通信研究所,成都,610031;四川大学电子信息学院,成都,610064
2. 西南交通大学移动通信研究所,成都,610031 |
| |
| 基金项目： | 国家自然科学基金，NSFC资助号:69825102， |
| |
| 摘 要： | 该文通过一个反例说明，宋荣功等“对BAN逻辑中新鲜子的研究”中关于BAN逻辑新鲜子规则条件过于严格，可能把一个安全的协议分析成不安全的协议。
|
| 关 键 词： | 密码协议 BAN逻辑 新鲜子 形式化分析 |
| 收稿时间： | 2001-2-26 |
| 修稿时间： | 2001年2月26日 |
Notes on the investigation of the freshness in BNA logic |
| |
| Yuan Ding,Fan Pingzhi,He Mingxing.Notes on the investigation of the freshness in BNA logic[J].Journal of Electronics & Information Technology,2002,24(8):1131-1133. |
| |
| Authors: | Yuan Ding Fan Pingzhi He Mingxing |
| |
| Affiliation: | Institute of Mobile Comm.,Southwest Jiaotong University Chengdu 610031 China;School of Electronic Information Sichuan University Chengdu 610064 China |
| |
| Abstract: | In this paper, it is pointed out by a counterexample that the condition of the freshness rule on BAN logic which in the paper "The Investigation of the Freshness in BAN Logic" written by Song Ronggong, et al. is so strict that it regards possibly a secure protocol as an insecure protocol. |
| |
| Keywords: | Cryptographic protocol BAN logic Freshness |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《电子与信息学报》浏览原始摘要信息 |
|
点击此处可从《电子与信息学报》下载全文 |
