Automatic multi-protocol counterexample constructing in virtual organization

被引：0
|
作者：
Zhao H. [1 ,2 ]
Meng F.-J. [3 ]
Song Z.-F. [4 ]
Zhao L. [1 ]
Wang F.-Y. [1 ]
机构：
[1] School of Computer Science and Technology, Shandong University of Technology, Zibo
[2] The Institute of Oceanographic Instrumentation, SDAS, Qingdao
[3] Zibo Heating Power Co.Ltd, Zibo
[4] College of Information Technology, Luoyang Normal University, Luoyang
来源：
International Journal of Advancements in Computing Technology | 2011年 / 3卷 / 06期
关键词：
Agent System; Protocol Verification; Strand Space; Virtual Organization;
D O I：
10.4156/ijact.vol3.issue6.33
中图分类号：
学科分类号：
摘要：
The purpose of this paper is to realize automatic multi-protocol counterexample constructing in VO (virtual organization). In this paper, we present the logic which is based on multi-agent system to specify various security properties in VO. Furthermore, we present the semi-bundle structure and the goal-binding mechanism in Athena for checking the validity of the well-formed formulas in the logic, which effectively ignores the infinite internal message forwarding for agent along with other redundancies in protocol executions, such as the order of interleaving actions.
引用
收藏
页码：287 / 295
页数：8
相关论文
共 4 条
1