基于描述逻辑的策略系统建模方法的研究.pdfVIP

2007年第 ，期 计 算 机 系 统 应 用 基于描述逻辑的策略系统建模方法研究 AStudyonPolicySystemModeIingBasedonDescriPtionLogic 王晓贺 蔡国永 (桂林电子科技大学 桂林 541004) 摘要:采用基于策略的方法对安全管理，服务质量等进行监管，已经得到广泛应用。描述逻拜是一种基于对象的 知识表示形式。本文提供了一种基于描述逻样的策略系统建模方式，将策略定义为两种类型，即授权策略和义务 策略。根据其性质特点建立主体、客体、角色、动作、事件、约束条件等概念，结合概念之间的关系，最终得到基于 描述逻样的策略系统模型。借助描述逻样的推理技术，可以对策略系统模型进行分析。并举例说明了这种基于 描迷逻样的策略规格方法。 关健词:策略建模 描述逻辑 授权策略 义务策略 1 引言 具有的共同属性，属性关系表示概念之间的二元关 基于策略(PoCy“)的管理目前已经在大型网络和 系[4〕。 分布式系统中得到广泛应用。所谓策略是指和管理分 描述逻辑包括描述语言、术语集Tbox、断言集 离的，起源于管理目标，用来定义系统行为选择规则 Abox、以及推理四部分[41。Tbox是有关概念和关系的 的，一种持续性、陈述性表示川。 蕴含断言集合，而Abox是有关个体的实例断言集合。 从策略构造的角度，将策略划分为三个层次:高层 描述逻辑的知识表示系统如图1所示。 抽象策略(high一leve lobsla『dPolicies)，规格层次的 策略(spec市cation一leve lpolicies)和底层策略(low一 leve!Pollcies尸〕。高层抽象策略即管理目标等。策略 规格层次，由管理员来规格的策略，为底层策略提供一 个形式化的模型;底层策略，实际上是一些配置信息， 如访问控制实体，防火墙规则等。 本文在策略规格层次上研究问题，主要研究基于 逻辑的策略表示方法。策略表示(peliCysPed们田盯。n) 可以有多种方式。描述逻辑是一种面向对象的知识建 图 1 描述逻辑的知识表示系统的结构图 模语言。描述语言的主要优点如下:1)有清晰的模型 理论机制2)适合通过概念分类学来表示应用领域3) 本文使用ALC描述语言沪比概念描述根据下面 提供了有用的推理服务{.]。 的语法规则构成:C，0、A(原子概念);T(全局概 基于描述语言特有的优势，本文选择描述逻辑作 念);止(底层概念》;，c(概念否定形式);cnD(概念 为策略表述的逻辑基础，建立策略模型，从而为策略模 交集);CUD(概念并集);VR.C(值束缚);日RC(完 型的分析验证建立良好荃础。 全存在变量)。 TBox是一个公理集，使用术语公理的形式描述概 2描述逻辑简介 念。一般公理有两种形式:包含公理(C二0(R二5)等 描述逻辑的墓本构件是概念 co〔ncePt)、属性关系 价公理(C二D(R，5))。ABox包含了应用领域的外延 (ro他)、和个体(n!d闹咧)。概念描述了个体集合所 知识，通常是将公理实例化，用以表示个体属于哪个概 只已翻〕曲山司众，到哪川甘卞研究开发 59 万方数据 计 算 机 系 统 应 用 2007年 第 9 期 念，或者个体之间的关系。 (2)使用描述逻辑定义客体 描述逻辑提供了不同层次上的推理服务，如概念 类似主体的定义，客体用描述逻辑表示如下 的推理，有关TBox和ABox 的推理等。概念的推