权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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）演化Agent体系结构模型的建立;（2）工作流描述语言和策略描述语言的语法和语义的建立;（3）策略描述语言和策略描述语言的实例研究;（4）策略可满足性分析技术的开发;（5）用进程逻辑和进程代数对具有非确定性和并行性的Agent进行形式化描述，提出的多Agent软件演化Agent体系结构模型对环境和需求的变化具有鲁棒性，通过尽可能地附加要满足的策略和用于策略的控制机制。该体系结构的核心是Agent执行平台（中间件）和作为运行环境的策略分析和执行机制。基于共生和寄生Agent模型，给出了描述Agent行为的工作流描述。在这个项目中，原型策略描述语言Pola已经建立。与现有的政策描述语言相比，Pola的设计，以提高面向代理。我们有一个计划，他Pola将被释放与调整到协商机制在public.作为案例研究，提取和描述的政策，我们试图检测和防止信息泄漏的企业信息系统和合作的Web服务。此外，网络管理策略也采取了在我们的框架，从故障中快速恢复作为一种安全管理。用tableau方法分析了道义逻辑的策略原型验证器，并给出了从策略到着色petri网的原型翻译器，进一步将形式化技术与进程代数和上述结果完全结合起来。