Realization of Security Polices based on Enterprise Organizational Structur by using Evolutional Agent Architecture

在本项目中，进行了以下五个子主题：(1)进化智能体架构的模型构建；(2)工作流描述语言和策略描述语言的语法和语义构建；(3)附加和描述策略的案例研究实验；(4)策略满意度分析技术的开发；(5)用过程逻辑和过程代数形式化具有非确定性和并行性的智能体。多智能体软件的进化智能体体系结构模型通过附加需要满足的策略以及策略的可能和控制机制，提供了对环境和需求变化的鲁棒性。该体系结构的核心协议是代理执行平台（中间件）和作为运行时环境的策略分析和实施机制。基于共生和寄生Agent模型的工作流描述描述了Agent的行为。原型策略描述语言Pola已经在这个项目中构建。与现有的策略描述语言相比，Pola语言的设计增强了面向主体的能力。我们有一个计划，他的Pola将在公开的谈判机制调整后发布。作为策略提取和描述的案例研究，我们试图检测和防止企业信息系统和协作web服务中的信息泄漏。此外，我们的框架中还采用了网络管理策略作为一种安全管理，用于从故障中快速恢复。用表格法分析了道义逻辑的政策原型验证器，以及从政策到彩色petri网的原型翻译。将形式化技术与过程代数和上述结果充分结合是进一步的工作。

In this project, the following five sub themes have been performed : (1) model construction of evolutional agent architecture, (2) building syntax and semantics of workflow description language and a policy description language, (3) experiments on case studies to extras and describe policies, (4) development of analysis techniques for policy satisfiability, and (5)formalizing agents with non-determinism and parallelism with process logic and process algebra.The model of evolutional agent architecture for multi agent software provides robustness for change of environment and requirements, by attaching policies to be satisfied as well as possible and control mechanisms for the policies. The core pacts of this architecture are agent executing platform (middleware) and policy analysis and enforcement mechanism as runtime environments. A workflow description describing behaviors of agents is based on the Symbiotic and Parasitic Agent model. The prototypical policy description language, Pola, has been built in this project. Compared with existing policy description languages, the Pola is devised to enhance agent-orientation. We have a plan that he Pola will be released with tuning up to negotiation mechanisms in public.As case studies to extract and describe policies, we tried to detect and prevent information leakage in enterprise information system s and cooperating web services. In addition network management policies are also taken up in our framework for rapid recovery from faults as a kind of security management. To analyze polices prototypical verifier of deontic logic with a tableau method and prototypical translator from polices to coloured petri nets.Fully integration of formalizing techniques with process algebra and above mentioned result is the further work.