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

点击翻译按钮获取中文摘要

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.