| 类BAN逻辑基本模型及缺陷 |
| |
| 引用本文： | 许剑卓,戴英侠,左英男.类BAN逻辑基本模型及缺陷[J].软件学报,2000,11(12):1660-1665. |
| |
| 作者姓名： | 许剑卓 戴英侠 左英男 |
| |
| 作者单位： | 中国科学技术大学研究生院,信息安全国家重点实验室,北京,100039 |
| |
| 摘 要： | 类BAN逻辑是一种用于分析密码协议安全性的逻辑.在分析了BAN,AT,MB,GNY,SVO等类BAN逻辑之后,指出这些逻辑的缺陷,包括若干新发现的缺陷.首先把类BAN的模型抽象出来，形成一个五元组模型，然后分析该模型的各个要素，并依据该模型对类BAN逻辑的缺陷进行分类，最后指出进一步发展类BAN逻辑应解决的问题.
|
| 关 键 词： | 密码协议 BAN逻辑 缺陷 |
| 收稿时间： | 1999/6/25 0:00:00 |
| 修稿时间： | 1999/9/21 0:00:00 |
The Model and Its Defects of BAN Family of Logic |
| |
| XU Jian-zhuo,DAI Ying-xia and ZUO Ying-nan.The Model and Its Defects of BAN Family of Logic[J].Journal of Software,2000,11(12):1660-1665. |
| |
| Authors: | XU Jian-zhuo DAI Ying-xia and ZUO Ying-nan |
| |
| Abstract: | BAN family of logic is used to analyze the security of cryptographic protocols. Five logics in the BAN family of logic are analyzed, including GNY, AT91, MB, SVO and BAN logic itself. Many defects of BAN family of logic are presented, including some defects found in research. A model is presented to describe the BAN family of logic first. And then the defects of BAN family of logic are classified according to this model. Some problems concerning BAN family of logic are presented in order to stimulate further research. |
| |
| Keywords: | cryptographic protocol BAN logic defect |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
