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

利用进化Agent架构实现基于企业组织结构的安全策略

基本信息

批准号：
13680490
负责人：
IIJIMA Tadashi
金额：
$ 2.11万
依托单位：
Keio University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2001
资助国家：
日本
起止时间：
2001 至 2003
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-13680490/
关键词：
Security Policy evolutional architecture Software Agent Process Algebra Deontic Logic Coloured Petri Net Information Systems Web Services ネットワーク管理ポリシ交渉競合解消検証ワークフローペリネットプロセス論理企業情報システム XML

项目摘要

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.

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