| 基于消息唯一起源的动态逻辑方法 |
| |
| 引用本文： | 谢鸿波,吴远成,周明天.基于消息唯一起源的动态逻辑方法[J].电子学报,2007,35(8):1516-1520. |
| |
| 作者姓名： | 谢鸿波 吴远成 周明天 |
| |
| 作者单位： | 1. 电子科技大学计算机科学与工程学院,四川成都 610054;2. 重庆通信学院三系数据链教研室,重庆 400035 |
| |
| 基金项目： | 电子科学基金,国家重点基础研究发展计划(973计划) |
| |
| 摘 要： | 本文提出了一种新的逻辑方法分析安全协议的安全性.该方法给出了一种安全协议的动态分析模型,从而克服了类BAN逻辑"理想化协议"步骤的缺陷,提出了消息唯一起源的概念和判定规则,严格区分"可靠信任"和"不可靠信任",解决了"相信事情的发生"和"相信事情的真实性"两种不同信任的区别,并在此基础上建立了动态逻辑方法.通过实例分析,该方法可以发现类BAN逻辑不能发现的协议漏洞,从而证明了方法的有效性.
|
| 关 键 词： | 协议分析 动态逻辑 类BAN逻辑 |
| 文章编号： | 0372-2112（2007）08-1516-05 |
| 收稿时间： | 2005-05-24 |
| 修稿时间： | 2005-05-24 |
Dynamic Logic Method Based on Message Unique Origin |
| |
| XIE Hong-bo,WU Yuan-cheng,ZHOU Ming-tian.Dynamic Logic Method Based on Message Unique Origin[J].Acta Electronica Sinica,2007,35(8):1516-1520. |
| |
| Authors: | XIE Hong-bo WU Yuan-cheng ZHOU Ming-tian |
| |
| Affiliation: | 1. School of Computer Scicence and Engineering,University of Electronic Science and Technology of China,Chengdu,Sichuan 610054,China;2. Data Like Staff Room of the 3rd Department,Chongqing Communication College,Chongqing 400035,China |
| |
| Abstract: | A new logic method for analyzing security protocols was presented in this paper.A dynamic model was presented,which overcame the flaw of the BAN-like logic in its protocol idealization step.The basic concept of Message Unique Origin(MUO) and its determinant rules ware presented,which could be used to distinguish between "sound trust" and "unsound trust".The difference between "believe the occurrence of the event" and "believe the truth of the event" was resolved.Based on the concept of MUO,a new dynamic logic is build up,whose validity is proved by an example protocol which is soundness in the BAN-like logic but is found to have some flaws by this dynamic logic. |
| |
| Keywords: | protocol analysis dynamic logic BAN-like logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《电子学报》浏览原始摘要信息 |
|
点击此处可从《电子学报》下载全文 |
|
