%0 Journal Article
%T 基于消息唯一起源的动态逻辑方法
%A 谢鸿波
%A 吴远成
%A 周明天
%J 电子学报
%P 1516-1520
%D 2007
%X 本文提出了一种新的逻辑方法分析安全协议的安全性.该方法给出了一种安全协议的动态分析模型,从而克服了类BAN逻辑"理想化协议"步骤的缺陷,提出了消息唯一起源的概念和判定规则,严格区分"可靠信任"和"不可靠信任",解决了"相信事情的发生"和"相信事情的真实性"两种不同信任的区别,并在此基础上建立了动态逻辑方法.通过实例分析,该方法可以发现类BAN逻辑不能发现的协议漏洞,从而证明了方法的有效性.
%K 协议分析
%K 动态逻辑
%K 类BAN逻辑
%U http://www.ejournal.org.cn/CN/abstract/abstract793.shtml