摘要
类BAN逻辑通常都分析了BAN逻辑的缺陷并相应地发展了自己的推理法则,在 BAN逻辑的缺陷中最受关注的是消息可识别性问题和密钥保密性问题。该文重新对这两个问题进行分析并指出以前类BAN逻辑中对这两个缺陷的理解是错误的,并把这两个缺陷归结为消息不可伪造问题和信任模型问题。同时指出进一步法则类BAN逻辑应解决的问题。
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.
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2000年第7期133-135,共3页
Computer Engineering