类BAN逻辑的两个重要缺陷  

Two Important Defects of BAN Logic

作　　者：张萌[1] 许剑卓[1] 左英男[1] 

机构地区：[1]中国科技大学研究生院信息安全国家重点实验室,北京100039

出　　处：《计算机工程》2000年第7期133-135,共3页Computer Engineering

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

分 类 号：TN915.08[电子电信—通信与信息系统] TP393.08[电子电信—信息与通信工程]