| 多agent逻辑程序及其在协议验证中的应用 |
| |
| 引用本文： | 周勇,朱梧槚.多agent逻辑程序及其在协议验证中的应用[J].小型微型计算机系统,2007,28(1):54-57. |
| |
| 作者姓名： | 周勇 朱梧槚 |
| |
| 作者单位： | 南京航空航天大学,信息科学与技术学院,江苏,南京,210016 |
| |
| 摘 要： | 提出一种多agent逻辑程序,每个agent具有一个相信算子,讨论了其不动点语义和操作语义,证明了两种语义之间的等价性.提出了一种基于多agent逻辑程序的协议验证方法,以一种多方非否认安全协议为例,对该协议进行了形式化描述,验证了其具有不可否认性.
|
| 关 键 词： | 逻辑程序 安全协议 不可否认性 |
| 文章编号： | 1000-1220（2007）01-0054-04 |
| 修稿时间： | 2006-04-17 |
Multi-agent Logic Program and its Application to Protocol Verification |
| |
| ZHOU Yong,ZHU Wu-jia.Multi-agent Logic Program and its Application to Protocol Verification[J].Mini-micro Systems,2007,28(1):54-57. |
| |
| Authors: | ZHOU Yong ZHU Wu-jia |
| |
| Affiliation: | College of Information Science and Technology, Nanjing University of Aeronautics and Astronautica , Nanjing 210016, China |
| |
| Abstract: | A multi-agent logic program with several modal operators is presented. Each operator represents an agent's belief. The declarative semantics based on the fix-point theory and the procedural semantics for the multi-agent logic program are given. The equivalence of the above two semantics is proved. Within the new logic program framework, a method for verifying the security protocols is proposed. As an example, an multi-party security protocol is represented formally with the multi-agent logic program and is proved having the property of non-repudiation. |
| |
| Keywords: | logic program security protocol Non-repudiation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
