Abstract: The BAN family of logic was improved by discarding some flaw of BAN logic. Two important defects of BAN family of logic arc presented in this paper. We find that the trust relationship between the communication entities described by the jurisdiction rule in the BAN logic is flaw.

摘要： 类ＢＡＮ逻辑通常都分析了ＢＡＮ逻辑的缺陷并相应地发展了自己的推理法则，在 ＢＡＮ逻辑的缺陷中最受关注的是消息可识别性问题和密钥保密性问题。该文重新对这两个问题进行分析并指出以前类ＢＡＮ逻辑中对这两个缺陷的理解是错误的，并把这两个缺陷归结为消息不可伪造问题和信任模型问题。同时指出进一步法则类ＢＡＮ逻辑应解决的问题。

关键词: 密码协议, BAN逻辑, 缺陷

CLC Number: 

• TN918