论文部分内容阅读
类BAN逻辑通常都分析了BAN逻辑的缺陷并相应的发展了自己的推理法则,在BAN逻辑的缺陷中最受关注的是消息可识别性问题和密钥保密性总理2,该文重新对这两个总理2进行分析并指出以前类BAN逻辑中对这两个缺陷的理解是错误的,并把这两仆缺陷归结为消息不可仿造问题和信任模型问题。同时指出进上步法则类BAN逻辑应解决的问题。