| 摘要: |
| 类BAN逻辑是一种用于分析密码协议安全性的逻辑.在分析了BAN,AT,MB,GNY,SVO等类BAN逻辑之后,指出这些逻辑的缺陷,包括若干新发现的缺陷.首先把类BAN的模型抽象出来，形成一个五元组模型，然后分析该模型的各个要素，并依据该模型对类BAN逻辑的缺陷进行分类，最后指出进一步发展类BAN逻辑应解决的问题. |
| 关键词: 密码协议 BAN逻辑 缺陷 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| The Model and Its Defects of BAN Family of Logic |
|
XU Jian-zhuo,DAI Ying-xia,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. |
| Key words: cryptographic protocol BAN logic defect |
