| BAN逻辑与串空间的比较 |
| |
| 引用本文： | 缪祥华,张云生,仇细平,杨晓婕.BAN逻辑与串空间的比较[J].云南民族大学学报(自然科学版),2008,17(1):72-75. |
| |
| 作者姓名： | 缪祥华 张云生 仇细平 杨晓婕 |
| |
| 作者单位： | 昆明理工大学,信息工程与自动化学院,云南,昆明,650051 |
| |
| 基金项目： | 云南省教育厅资助项目
,
昆明理工大学校科研和教改项目 |
| |
| 摘 要： | 研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.
|
| 关 键 词： | BAN逻辑 串空间 安全协议分析 逻辑 串空间 比较 Space Strand 结果 再利用 需要分析 语义 结合方式 公钥协议 方法 安全协议 研究 |
| 文章编号： | 1672-8513（2008）01-0072-04 |
| 收稿时间： | 2007-06-09 |
| 修稿时间： | 2007年6月9日 |
A Comparison Between BAN -logic and Strand Space |
| |
| Miao Xianghua,Zhang Yunsheng,Qiu Xiping,Yang Xiaojie.A Comparison Between BAN -logic and Strand Space[J].Journal of Yunnan Nationalities University:Natural Sciences Edition,2008,17(1):72-75. |
| |
| Authors: | Miao Xianghua Zhang Yunsheng Qiu Xiping Yang Xiaojie |
| |
| Abstract: | This paper researches two analysis methods for security protocols, namely BAN - logic and strand space. The paper utilizes BAN - logic and strand space to analyze Needham - Schroeder public key protocol, and presents advantages and disadvantages of BAN - logic and strand space. After comparing these two analysis methods, the paper presents that these analysis methods have two combination ways. One is to provide strand space semantic of BAN - logic,the other is serial. If one protocol needs analyzing, the protocol is analyzed by BAN - logic first, then it is analyzed by strand space, thus the analysis result will be more reliable. |
| |
| Keywords: | BAN - logic strand space security protocol analysis |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
