ABAC策略语义表示和决策方法

ＣｏｍｐｕｔｅｒＥｎｇｉｎｅｅｒｉｎｇ　ａｎｄＡｐｐｌｉｃａｔｉｏｎｓ计算机工程与应用　ＡＢＡＣ策略语义表示和决策方法　周加根，叶春晓，罗　娟　ＺＨＯＵ　Ｊｉａｇｅｎ，ＹＥ　Ｃｈｕｎｘｉａｏ，ＬＵＯ　Ｊｕａｎ　重庆大学计算机学院，重庆４０００４４　Ｓｃｈｏｏｌ　ｏｆ　Ｃｏｍｐｕｔｅｒ　Ｓｃｉｅｎｃｅ，Ｃｈｏｎｇｑｉｎｇ　Ｕｎｉｖｅｒｓｉｔｙ，Ｃｈｏｎｇｑｉｎｇ　４０００４４，Ｃｈｉｎａ　ＺＨＯＵ　Ｊｉａｇｅｎ，ＹＥ　Ｃｈｕｎｘｉａｏ，ＬＵＯ　Ｊｕａｎ．Ｓｅｍａｎｔｉｃ　ｒｅｐｒｅｓｅｎｔａｔｉ０ｎ　ａｎｄ　ｅｎｆｏｒｃｅｍｅｎｔ　ｍｅｔｈｏｄｓ　ｏｆ　ＡＢＡＣ　ｐｏｌｉｃｉｅｓ．Ｃｏｍｐｕｔｅｒ　Ｅｎｇｉｎｅｅｒｉｎｇ　ａｎｄ　Ａｐｐｌｉｃａｔｉｏｎｓ，２０１３，４９（２３）：５６—６２．　Ａｂｓｔｒａｃｔ：Ｔｏ　ｓｏｌｖｅ　ｔｈｅ　ｓｅｍａｎｔｉｃ　ｐｒｅｓｅｎｔａｔｉｏｎ　ａｎｄ　ｅｎｆｏｒｃｅｍｅｎｔ　ｐｒｏｂｌｅｍｓ　ｏｆ　ＡＢＡＣ　ｐｏｌｉｃｉｅｓ　ｉｎ　ｔｈｅ　ｏｐｅｎ　ｓｙｓｔｅｍ　ｅｎｖｉｒｏｎｍｅｎｔ，ａ　ｍｅｔｈｏｄ　ｕｓｉｎｇ　ｏｎｔｏｌｏｇｙ　ｔｏ　ｄｅｆｉｎｅ　ｐｏｌｉｃｉｅｓ　ｉｓ　ｐｒｏｐｏｓｅｄ．Ｔｈｉｓ　ｍｅｔｈｏｄ　ｉｓ　ｄｅｆｉｎｅｄ　ｏｎ　ｔｈｅ　ｂａｓｉｓ　ｏｆ　ａ　ｍａｐ　ｆｒｏｍ　ＡＢＡＣ　ｐｏｌｉｃｙ　ｍｏｄｅｌ　ｔｏ　ｄｅｓｃｒｉｐｔｉｏｎ　ｌｏｇｉｃ　ｄｅｆｉｎｉｔｉｏｎｓ．Ａｌｓｏ．ｉｔ　ｕｓｅｓ　ＳＷＲＬ　ｒｕｌｅｓ　ｔｏ　ｄｅｆｉｎｅ　ｒｅｌａｔｉｏｎｓ　ｉｎ　ｔｈｅ　ｓｙｓｔｅｍ．Ｂａｓｅｄ　ｏｎ　ｔｈｅ　ｐｏｌｉｃｙ　ｏｎｔｏｌｏｇｙ，ａ　ｆｌａｍｅ—　ｗｏｒｋ　ｕｔｉｌｉｚｉｎｇ　ｃｌｏｓｅ　ｗｏｒｌｄ　ｒｅａｓｏｎｉｎｇ　ａｎｄ　ｉｎｄｉｖｉｄｕａｌ　ｒｅａｌｉｚａｔｉｏｎ　ｒｅａｓｏｎｉｎｇ　ｓｅｒｖｉｃｅ　ｔｏ　ｇｅｎｅｒａｔｅ　ｄｅｃｉｓｉｏｎｓ　ｏｆ　ａｃｃｅｓｓ　ｒｅｑｕｅｓｔ　ｉｓ　ｐｒｏ・　ｐｏｓｅｄ．Ｔｈｅ　ｃｏｒｒｅｃｔｎｅｓｓ　ｏｆ　ｐｏｌｉｃｙ　ｅｎｆｏｒｃｅｍｅｎｔ　ｍｅｔｈｏｄ　ｉｓ　ｐｒｏｖｅｄ　ｔｈｒｏｕｇｈ　ｉｔｓ　ｓｏｕｎｄｎｅｓｓ　ａｎｄ　ｃｏｍｐｌｅｔｅｎｅｓｓ，ａｎｄ　ａｎ　ｅｘｐｅｒｉｍｅｎｔ　ｉｓ　ｓｈｏｗｅｄ　ｔｏ　ｖｅｒｉｆｙ　ｔｈｅ　ｆｅａｓｉｂｉｌｉｔｙ　ｏｆ　ｔｈｅｓｅ　ｍｅｔｈｏｄｓ　ｉｎ　ａ　ｒｅａｌ　ａｐｐｌｉｃａｔｉｏｎ．　Ｋｅｙ　ｗｏｒｄｓ：Ａｔｔｒｉｂｕｔｅ—Ｂａｓｅｄ　Ａｃｃｅｓｓ　Ｃｏｎｔｒｏｌ（ＡＢＡＣ）：ｐｏｌｉｃｙ　ｒｅｐｒｅｓｅｎｔａｔｉｏｎ；ｐｏｌｉｃｙ　ｅｎｆｏｒｃｅｍｅｎｔ；ｏｎｔｏｌｏｇｙ；Ｓｅｍａｎｔｉｃ　Ｗｅｂ　Ｒｕｌｅ　Ｌａｎｇｕａｇｅ（ＳＷＲＬ）：ｒｅａｓｏｎｉｎｇ　摘要：为解决开放式系统环境中基于属性的访问控制（Ａｔｔｒｉｂｕｔｅ—Ｂａｓｅｄ　Ａｃｃｅｓｓ　Ｃｏｎｔｒｏｌ，ＡＢＡＣ）策略语义层次上的表示　和决策问题，提出了ＡＢＡＣ策略的本体表示方法。该方法基于ＡＢＡＣ策略模型到描述逻辑定义的映射，使用语义Ｗｅｂ规　则语言（ＳＷＲＬ）处理系统内部关系定义。在此基础上，提出了基于封闭世界和实例实现推理的策略决策框架。最后从可　靠性和完备性两方面说明了决策方法的正确性，验证实验表明了方法在实际应用中的适用性。　笑键　：基于属性的访问控制；策略表示；策略决策；本体；语义Ｗｅｂ规则语言；推理　文献标志码：Ａ　巾Ｉ矧分类号：ＴＰ３０９　ｄｏｉ：１０．３７７８￣．ｉｓｓｎ．１００２—８３３１．１１０９—０５９３　１　引青　随着新型网络技术和汁算技术的出现，信息系统已由　传统的集中封闭式模式演化为开放分布式模式。开放分　布式环境具备的分布性、自治性、动态性和异构性等特征，　给信息系统安全研究带来新的要求：一方面，开放式环境　中资源提供者与资源访问请求者处于对等地位，相互之间　无法预知对方的身份信息，集中封闭式环境中普遍采用的　基于身份的访问控制方法（ＩＢＡＣ）完令失效；另一方面，不　同资源提供者在制定资源访问策略时依赖的系统安全属　性存在术语表示和解释上的不同，这种不一致性往往导致　安全策略被不恰当地实施　前者对访问控制方法（模型）在表达系统安全需求方　面的抽象能力提出了要求，基于属性的访问控制（ＡＢＡＣ）　。　，　访问决策是基于请求者和资源的属性做出的，与ＩＢＡＣ基　于身份的授权方式相比，具有足够的灵活性和可扩展性　、　ＡＢＡＣ采用属性对系统内部实体安全特征统一建模，通过　属性问关系的定义来描述授权和访问控制约束，具备强大　的抽象能力，能够支持细粒度和大规模的访问控制，成为　开放式环境中主流的访问控制方法。　后者对安全策略在语义层次上的描述、定义和实施方　法提出了要求。安全策略是一组由管理需求产生的、卡日对　持久的说明性规则，这些规则作为系统做出决策的依据　在开放式环境中，采用安全策略描述系统高层安全需求是　实施访问控制授权的主要方法。研究者们针对特定的应　用场景，采用不同的形式化方法。提出了多种安全策略定　义和使用方法　。在诸多策略定义规范中，基于语义Ｗｅｂ　和本体技术的访问控制策略定义方法已经体现出了在策　略理解、共享和集成等方面的优势。　本文在研究已有ＡＢＡＣ模型定义上，采用属性表达式　方式定义ＡＢＡＣ策略模型。在此基础上，提出了一种　膳会项ＩＩ：国家自然科学基金（Ｎｏ．６０５０３０２７）；重庆大学研究生科技创新基金项目（Ｎｏ．ＣＤＪＸＳ１１１　８００２２）　作者简介：周加根，男．硕士研究生，研究领域：访问控制、本体建模；叶春晓，男，博士，教授．研究领域：本体技术、访　控制；罗娟，女，硕士　研究生，研究领域：网格技术、访问控制。Ｅ—ｍａｉｌ：ｚｈｏｕｊｉａｇｅｎ＠ｇｍａｉｌ．ｔｏｍ　收稿订期：２０ｌｌ—Ｏ９．２９　修回日期：２０１３－０５—０７　文章编号：１００２．８３３１（２０１３）２３—００５６—０７　ＣＮＫＩ｛Ｉ｛版¨期：２０ｌ３－Ｏ７—０９　ｈｔｔｐ：／／ｗｗｗ．ｃｎｋｉ．ｎｅｔ／ｋｃｍｓ／ｄｅｔａｉｌ／１１．２１２７．ＴＲ２０】３０７０９　１０１　５．００５．ｈｔｍｌ　周加根，叶春晓，罗娟：ＡＢＡＣ策略语义表示和决策方法　义推理提供一种策略决策实现方法。　ＡＢＡＣ策略的本体表示方法，和一种基于实例实现的　ＡＢＡＣ策略决策方法，在语义层次上支持ＡＢＡＣ策略的表　示和决策。　３基于本体的ＡＢＡＣ策略模型　本体作为共享概念模型的明确的形式化规格说明，本　身是一种可共享重用的知识表达方法。以本体方式对　ＡＢＡＣ模型元素和关系进行知识建模，建立策略本体模型，　２相关工作　安全策略的描述和定义方法在信息安全研究中一直　受到广泛关注，目前主要的安全策略语言大致可以分为声　明式语言和基于逻辑的形式化语言。ＯＡＳＩＳ开发的可扩　为策略语义表示和决策奠定基础。本章首先以属性表达　式对ＡＢＡＣ策略模型进行定义，然后给出该模型定义到策　展访问控制标记语言（ＸＡＣＭＬ）　是一类典型的声明式策　略描述语言，它以属性匹配机制定义访问控制策略，同时　提供了策略实施框架，是描述和实施ＡＢＡＣ策略的理想选　择。在此基础上，Ｙｅ等　提出了扩展的ＸＡＣＭＬ语言　Ａ．ＸＡＣＭＬ，以数据类型、函数和逻辑组合等构造支持简单　或复杂的属性访问控制策略定义。因ＸＡＣＭＬ中策略元素　和元素之间的关系较为复杂，造成用户在实体属性和策略　管理上极大的不便。Ｐｒｉｅｂｅ等　在基本的ＸＡＣＭＬ策略描　述构造基础上，采用本体刻画ＡＢＡＣ模型中的用户、资源　和环境等实体属性，以基于本体的推理引擎实现属性之间　的语义关联推理，简化了实体属性和策略的管理。此外，　ＸＡＣＭＬ这类基于ＸＭＬ的策略描述语言保证了策略具有　表示良好的语法结构，但缺乏相关的策略和属性语义信息　表达能力，在处理策略语义异构问题上存在一定的局限性。　与声明式策略语言不同，基于逻辑的形式化策略语言　在保证良好组织的语法结构基础上，利用逻辑推理建立完　整的策略授权视图，为策略和安全属性管理提供了便利。　Ｂａｒｋｅｒ等　以受限逻辑程序形式定义基于角色的访问控制　（ＲＢＡＣ）策略，通过逻辑程序中定理证明评估访问请求，同　时支持策略选项、约束检查和管理查询等操作。Ｚｈａｏ等　以描述逻辑语言形式化定义ＲＢＡＣ策略，在描述逻辑推理　机的支持下，支持访问请求评估、ＲＢＡＣ功能实现以及策略　一致性检测。此外，基于语义Ｗｅｂ和本体技术的安全策略　描述方法，借助本体在清晰表达信息语义方面的优势，在　策略描述中融入语义，能够有效地解决安全属性术语定义　不一致问题。这类策略语言的典型代表是Ｒｅｉｔ”　和ＫＡｏＳ　，　两者在表达安全需求时有足够的描述灵活性，但缺乏对访　问控制模型抽象的支持。Ｆｉｎｉｎ等　使用ＯＷＬ本体建立　ＲＢＡＣ策略模型，并提供了基于规则的策略实施方法，从语　义层次上支持ＲＢＡＣ策略的描述和实施，同时探讨了ＯＷＬ　在表达基于属性的ＲＢＡＣ和ＡＢＡＣ策略时的适用性。努　尔买买提・黑力力等…　提出了带负向权限扩展的ＲＢＡＣ策　略的ＯＷＬ表示方法。Ｂｅｉｍｅｌ等　对基于场景的访问控制　策略的本体描述和推理进行了研究。胡殿友等　针对实际　应用中ＡＢＡＣ模型中实体属性多样性和二义性等特点，构　建通用的属性本体，在语义层次上为使用属性语义信息辅　助策略的表示奠定了基础，但没有提供策略定义和实施方　法。这些工作关注于特定访问控制模型策略和安全属性　的描述，因模型自身抽象能力的不足，无法支持细粒度访　问控制策略的表达。本文工作重点在于结合语义Ｗｅｂ技　术，在ＡＢＡＣ安全策略描述中融入语义信息，同时利用语　略本体模型的映射方法。　３．１　ＡＢＡＣ策略模型　定义１（实体、属性和关系）信息系统内有四类实体对　象：资源　、主体　、访问操作　和环境Ｅ。属性　是对　实体特征的刻画，实体属性由属性名称和属性取值构成。　根据属性取值类型的不同，将属性分为两类：字面型　和数值型。字面型属性（如职位、角色等）取值是离散的，　不同取值之间可以存在优先于、高于等偏序关系。系统内　有三类关系ＲＥＬ：实体与属性值间关系、实体与实体问关　系和属性值之间的关系。　定义２（属性表达式和关系谓词）原子属性表达式　ａｅ＝（ａｔｔｒ，。Ｃ，ｖａ１），其中ａｔｔｒ∈ＡＴＴＲ，ｖａｌ为属性取值，操作　符。Ｃ∈｛＞，＜，＞－，＿＜，＝，≠｝，＞＿，＿＜标记字面型属性值间的偏　序关系，＞，＜标记数值型属性值间比较关系。一般的属性表　达式ＡＥ＝ＶＩＣＡＥ　ｚ＝（ａｅ】ｌ＾ａｅ１２　Ａ…＾ａｅ１，．）Ｖ…Ｖ（ａｅ　１　Ａ　．　．ａｅ　２　Ａ…／Ｘ　ａｅ　），其中　ｆ为原子属性表达式。　有两类关系渭词ｒｐ＝（ｒｅｌ，　，Ｃ２），ｒｐ　＝（ｒｅ１．ａｔｔｒ　，ｅ１￣ｖａｌ，　ｏＣ，ａｔｔｒ　ｅ２￣ｖａ１），ｒｐ刻画实体之间的关系，ｒｐ　刻画具有同种　属性值域的不同实体属性取值关系；其中关系名称ｒｅｌ　ＲＥＬ，ｅ１，ｅ，∈｛Ｒ，Ｓ，Ｅ｝，ｅｉ．ｖａｌ表示实体ｅ，的属性ａｔｔｒ　取值　为ｖａｌ。　定义３（策略和策略集）ＡＢＡＣ策略Ｐ＝（Ｐｉｄ，ＳＡＥ，Ａ　，　ＲＡＥ，ＥＡＥ，尺Ｐ，Ｓｉｇｎ），其中Ｐｉｄ为策略标识，ＳＡＥ、ＲＡＥ、ＥＡＥ　分别为主体、资源和环境的属性表达式，Ａ　＝　，ａ　一，　ａ　｝　Ａ为访问操作，ＲＰ＝尺Ｐ　ＵＲＰ，为系统内部关系谓词　集合，　ｐ　、　Ｐ，分别为两类关系谓词集合，Ｓｉｇｎ￣｛ｐｅｒｍｉｔ，　ｄｅｎｙ｝为授权标识。策略集ＰＳ＝（ＰＳｉｄ，｛Ｐ１，Ｐ　一，Ｐ　｝）。　定义４（属性访问请求）称操作符　限定为＝的原子　属性表达式为属性名值对（ａｖｐ）。主体发出的原始资源访　问请求ＮＡＲ仅带有实体标识信息，添加实体属性取值（实　体与属性值间的关系）和满足的关系谓词，构成基于属　性的访问请求ＡＡＲ＝｛ａｖｐ１，ａｖｐ２，…，ａｖｐ　，ａ１，Ⅱ２，…，　，ｒｐ１，　ｒｐ　一，　｝，其中　∈Ａ　，ｒｐ　为第一类关系谓词。　定义５（属性表达式评估和关系谓词评估）　（１）原子属性表达式ａｅ对属性名值对ａｖｐ的评估结果　『。　ａｅ１一ａｖｐ　　为真，当且仅当口Ｐ．ａｔｔｒ＝ａｖｐ．ａｔｔｒ，且ａｖｐ．ｖａｌ。Ｃ　ａｅ．ｖａｌ。　（２）属性表达式ＣＡＥ对属性访问请求ＡＡＲ的评估结　果『ＣＡＥ］…为真，当且仅当Ｖ　ＣＡＥ中出现的ａｅ，３ａｖｐ∈　ＡＡＲ，满足『ａｅ］为真。　Ｃｏｍｐｕｔｅｒ　Ｅｎｇｉｎｅｅｒｉｎｇ　ａｎｄ　Ａｐｐｌｉｃａｔｉｏｎｓ计算机工程与应用　（３）属性表达式ＡＥ对属性访问清求ＡＡＲ的评估结果　通常各组织和团体已经建立了一些应用本体，共享和　重用这些应用本体能够加快策略本体的构建过程，为保持　讨论的一致性，本文做如下约定：　［ＡＥ］　为真．当且仅当　ＡＥ中出现的ＣＡＥ，满足［ＣＡＥ］　为真。　（４）关系谓词ＲＰ＝　Ｐ　Ｕ　Ｐ，，ＲＰ　对属性访问请求　（１）若ａｔｔｒ是关于实体　的数值属性，　∈｛Ｒ，Ｓ，Ｅ｝，　在实体本体中定义数值关系ｈａｓＸＡｔｔｒ。　（２）若ａｔｔｒ是关于实体　的字面型属性，在实体本体　中添加概念ＣＸＡｔｔｒ和对象关系ｈａｓＸＡｔｔｒ，各属性取值定义　（３）若ａｔｔｒ是关于实体　的字面型属性，且属性取值　之间存在偏序关系　在（２）基础上添加对象关系ｓｅｎｉｏｒＸＡｔｔｒＯｆ　ＡＡＲ的评估结果［ＪＲ｜ｐ　］　为真，当且仅当Ｖｒｐ　∈尺Ｐ　，ｊ　，∈　ＡＡＲ，满足　、　，对应项相同；　Ｐ，对ＡＡＲ的评估结果　『Ｌ　‘ＲＰ，１Ｊ　为真，　Ａ　当且仅当Ｖｒｐ　，∈　Ｐ，，　实体ｅ　ｌ，ｅ，关于属性　为ＣＸＡｔｔｒ的实例，实例名称序以前缀，。　ａｔｔｒ１．ａｔｔｒ２的属性名值对“　，，ａｖｐ　∈ＡＡＲ，且ｇ】．ｖ口，ｏＣ　ｅ２．ｖａｌ；　ＲＰ对ＡＡＲ的评估结果［ＲＰ］　为真，当且仅当［ＲＰ，］　为　真，且『ＲＰ，］．为真　定义６（策略评估）给定ＡＢＡＣ策略Ｐ，其对某一属性　和ｊｕｎｉｏｒＸＡｔｔｒＯｆ，分别对应于定义２中的操作符　，．＜。　在实体本体的基础上，策略本体的定义基于３．１节中　策略模型的数学定义到描述逻辑定义的映射　，见表１。　称策略定义中主体、访问操作和资源元素均具备的策　访问请求ＡＡＲ的评估结果【Ｐ］　为真，当且仅当【ＳＡＥ］　、　［ＲＡＥ］ＡＡＲ，［ＥＡＥ］ａＡＲ，［Ｒ尸］　月均为真，且Ｖａ　∈ＡＡＲ，口　∈Ｐ．　。　３．２策略本体表示方法　本文以本体方法对系统内实体属性、关系和安全策略　建模，基于如下假设：　略为具体策略，其他策略元素称为辅助策略。辅助策略依　赖于具体策略而存在，按是否具有授权标识，划分为两类：　一类将对某一属性具有一致的取值约束的具体策略组织　在一起，这类辅助策略不带有授权标识；另一类辅助策略　是前一类辅助策略中所有具体策略的补集，对具体策略对　（１）实体属性、关系在安全策略中均有所体现，且数量　是有限的。　属性取值和关系未做约束的情况提供默认的授权标Ｉ｝｛。　策略概念ＣＰｉｄ是具体策略概念，策略集概念ＣＰＳｉｄ　是存在共性的策略概念的父概念，共性可以是对某一　（２）字面型属性值域是固定不变的有限集合，属性取　值之间的偏序关系已确定。　（３）系统内部已经存在有限的实体关系谓词抽象　（４）添加到属性访问请求中的实体安全属性取值是完　备和可信的。　使用Ｗｅｂ本体语言ＯＷＬ　构建的策略本体结构如图１　所示，策略本体引用实体、资源和环境本体。鉴于ＯＷＬ语　言是一类基于描述逻辑的本体描述语言，而ＯＷＬ的ＸＭＬ　语法相对繁复，文中选用了其对应的描述逻辑ＡＬ族语言　的语法，其具体语法参见文献［１７］。　实体属性有相同的属性值约束，策略集本身不带有授权　标识。ＣＰＳｉｄ可定义为３ｓｕｂｊｅｅｒ．ＣＳＡＥ、ＦＣＳ０ｂｌｒｃｅ．ＣＲＡＥ、　３ｅｎｖｉｒｏｎｍｅｎｔ．ＣＥＡＥ或３ｒｅｌａｔｉｏｎ．｛　Ｐ『｝．或者这些概念的　与、并组合。对应于每个策略集概念，定义一个策略集中　所有策略概念的补集概念ＣＰＳｉｄＣｏｍｐｌｅｍｅｎｔ，声明策略授　权标识蕴涵公理ＣＰＳｉｄＣｏｍｐｌｅｍｅｎｔＥ３ｅ［１ｅｃｔ．｛ＩＤｅｎｙ｝，其含　义是策略集中未定义的访问策略默认授权标识为　ｎ　。　用概念ＣＰＳ代表整体策略空间，蕴涵所有定义的策略　口—　ＣｌａｓｓＩｓ—ａ　口～一　＞ｉｎｄｉｖｉｄｕａｌ　Ｉｎｄｉｖｉｄｕａｌ—ｏｆ—　ＯｂｊｅｃｔＰｒｏｐｅｒｔｙ　ＤａｔａＰｒｏｐｅｒｔｙ　图１　ＡＢＡＣ策略本体结构　周加根，叶春晓，罗娟：ＡＢＡＣ策略语义表示和决策方法　表１　策略模型数学定义到描述逻辑定义的映射　集概念。以同样的方式，在策略空间内定义所有策略集概　念的补集ＣＰＳＣｏｍｐｌｅｍｅｎｔ。属性访问请求定义为概念ＣＰＳ　的实例，关系谓词均定义为关系概念Ｒｅｌａｔｉｏｎ的实例。　３．３系统内部关系处理　描述逻辑作为一类基于类别的推理系统，是一阶逻辑　（ＦＯＬ）的可判定子集，可用于刻画现实世界中的概念和概　念间关系，系统内部实体与属性取值之间关系自然的可以　（ａ）主体余额与资源费用数值比较关系　通过对象关系和数值关系来表达。然而它的表达能力存　在一定的不足，仅能描述一元和二元关系，在刻画图２中比　较关系时存在一定的困难。尽管关系链（ｒｏｌｅ　ｃｈａｉｎ）可用　于表达这类高元关系，但不加约束的关系链极易造成推理　的不可判定　。　本文将系统内部其他关系统一定义为概念Ｒｅｌａｔｉｏｎ的　实例，引入语义Ｗｅｂ规则语言ＳＷＲＬｔ　］，这一结合了Ｈｏｍ　子句和描述逻辑的规则描述语言，用于执行属性访问请求　与系统关系之间联系的推理。建立的部分推理规则如下：　Ｒｕｌｅｌ　ＣＰＳ（？ｎａｒ），Ｓｕｂｊｅｃｔ（？ｓｕｂ），Ｒｅｓｏｕｒｃｅ（？ｒｅｓ），ｓｕｂ—　ｊｅｃｔ（？ｎａｒ，？ｓｕｂ），ｒｅｓｏｕｒｃｅ（？ｎａｒ，？ｒｅｓ），ｏｗｎｅｒＯｆ（？ｓｕｂ，？ｒｅｓ），　Ｒｅｌａｔｉｏｎ（ＩＳｕｂｊｅｃｔＯｗｎＲｅｓｏｕｒｃｅ）－－＊ｒｅｌａｔｉｏｎ（？ｎａｒ，ＩＳｕｂｊｅｃｔＯｗｎ—　Ｒｅｓｏｕｒｃｅ）　（ｂ）主体位置与资源位置比较关系　图２复杂关系示例　Ｒｕｌｅ２　ＣＰＳ（？ｎａｒ），ｈａｓＳＢａｌａｎｃｅ（？ｎａｒ，？ｂａ１），ｈａｓＲＥｘ—　ｐｅｎｓｅ（？ｎａｒ，？ｅｘｐ），ｓｗｒｌｂ：ｇｒｅａｔｅｒＴｈａｎ０ｒＥｑｕａｌ（？ｂａｌ，？ｅｘｐ），　Ｒｅｌａｔｉｏｎ（ＩＥｎｏｕｇｈＢａｌａｎｃｅ）－－－￣ｒｅｌａｔｉｏｎ（？ｎａｒ，ＩＥｎｏｕ曲Ｂａ１ａｎｃｅ）　ｓｗｒｌｂ：ｇｒｅａｔｅｒＴｈａｎＯｒＥｑｕａｌ是ＳＷＲＬ的内建数值比较　谓词，表示大于或等于关系，规则Ｒｕｌｅ２说明了属性访问请　规则Ｒｕｌｅ１说明了属性访问请求如何与实体间关系发　生联系，存在关系谓词声明属性访问请求中主体是资源的　求如何与具有同种属性值域的不同实体属性取值关系关　属主（ｏｗｎｅｒＯｆ）时，属性访问请求获得关系ＩＳｕｂｊｅｃｔＯｗｎ—　Ｒｅｓｏｕｒｃｅ。　联，属性访问请求中主体余额大于等于资源的费用时，获　得关系ＩＥｎｏｕｇｈＢａｌａｎｃｅ。　Ｃｏｍｐｕｗｒ　Ｅｎｇｉｎｅｅｒｉｎｇ　ａｎｄ　Ａｐｐｌｉｃａｔｉｏｎｓ计算机工程与应用　Ｒｕｌｅ３　ＣＰＳ（？ｎａｒ），Ｐｏｓｉｔｉｏｎ（？ｓｐｏｓ），Ｐｏｓｉｔｉｏｎ（？ｒｐｏｓ），　理实现。在策略本体实施框架中，ＰＡＰ在完成实体本体和　策略本体的加载工作后，调用本体推理机检验本体知识的　有效性和一致性（步骤０）。用户发出访问清求。经框架中　ｈａｓＳＰｏｓｉｔｉｏｎ（‘？ｎａｒ，？ｓｐｏｓ），ｈａｓＲＰｏｓｉｔｉｏｎ（？ｎａｒ，？ｒｐｏｓ），ｏｗｌ：　ｓａｍｅＡｓ（？ｓｐｏｓ，？ｒｐｏｓ），Ｒｅｌａｔｉｏｎ（ＩＳｕｂＡｎｄＲｅｓＩｎＳａｍｅＰｏｓ）＿＿＋　ｒｅｌａｔｉｏｎ（？ｎａｒ．１ＳｕｂＡｎｄＲｅｓＩｎＳａｍｅＰｏｓ）　各元件处理，获得策略决策结果，需要经过图３中７个步骤。　（１）用户向ＰＥＰ发出原始的访问请求ＮＡＲ。　ｏｗｌ：ｓａｍｅＡｓ是ＯＷＬ实例一致性声明关系，Ｒｕｌｅ３　ｉ兑明　了属性访问请求中主体和资源位置相同时，获得关系ＩＳｕｂ—　ＡｎｄＲｅｓＩｎＳａｍｅＰｏｓ。　（２）ＰＥＰ向属性权威和环境监视器查询ＮＡＲ中实体的　属性信息。　（３）属．｝生权威和环境监视器返回ＰＥＰ詹｝生信息查询结果。　另外，字面型取值之间偏序关系以类似于规则Ｒｕｌｅ４　的方式表达（这里以主体角色属性继承关系为例）：　Ｒｕｌｅ４　ＣＰＳ（？ｎａｔ），Ｒｏｌｅ（？ｒ１），Ｒｏｌｅ（？ｒ２），ｈａｓＳＲｏｌｅ（？ｎａｒ，　？ｐ１），ｓｅｎｉｏｒＳＲｏｌｅＯｆ（？ｒｌ，？ｒ２）－＋ｈａｓＳＲｏｌｅ（？ｎａｒ，？ｐ１）　（４）ＰＥＰ根据返回的实体属性信息生成属性访问请求　ＡＡＲ，发送给ＰＤＰ。　（５）ＰＤＰ生成ＡＡＲ实例，导入本体推理机中（步骤５．１），　属性访问请求与实体属性取值的关联也以规则形式　予以定义：　Ｒｕｌｅ５　ＣＰＳ（？ｎａｒ），ｓｕｂｊｅｃｔ（？ｎａｔ，？ｓｕｂ），ｈａｓＳＡｔｔｒ（？ｒｅｑ，　？ｖａ１）—　ａｓＳＡｔｔｒ（？ｎａｒ。？ｖａ１）　调用规则推理机推理出ＡＡＲ满足的新属性和关系信息（步　骤５．２），接着在ＡＡＲ实例上添加必要的封闭世界约束（步　骤５－３），最后将调用本体推理机获得的ＡＡＲ实例ｅｆｆｅｃｔ对　象属性值返回给ＰＤＰ（步骤５．４）。　规则Ｒｕｌｅ５说明属性访问清求获得其主体的属性取　值，属性访问请求与资源和环境属性取值的关联规则以同　样的方式定义。　（６）ＰＤＰ根据本体推理机返回的ＡＡＲ实例ｅｆｆｅｃｔ对象　属性值结果，存在多个属性值时执行策略冲突消解方法，　生成唯一的策略决策结果，返回给ＰＥＰ。　（７）ＰＥＰ将ＰＤＰ返回的策略决策结果呈现给用户。　４策略决策方法　４．１策略本体实施框架　工业界标准ＸＡＣＭＬ在提供属性策略描述语言的同　时，也开发出了面向策略实施的数据流模型，给出了一次　访问清求的策略实施过程，本文在这项工作基础上，设计　４．２封闭世界推理和实例实现推理　本节对策略本体实施步骤（５）中添加封闭世界约束、　实例实现推理予以说明。　ＯＷＬ本体在执行知识推理时，遵循两类假设：开放世　界假设和命名不唯一假设。开放世界假设是指事实或称　述的真假与是否已知其真假无关。在策略本体实施框架　出适合策略本体的实施框架，如图３所示。　框架中基本元素策略实施点（ＰＥＰ）、策略决策点　（ＰＤＰ）和策略管理点（ＰＡＰ）的含义与ＸＡＭＬ策略实施数据　流模型中对应结构相同。属性权威（Ａｔｔｒｉｂｕｔｅ　Ａｕｔｈｏｒｉｔｙ）和　环境监视器（Ｅｎｖｉｒｏｎｍｅｎｔ　Ｍｏｎｉｔｏｒ）充当了对应的上下文　中，经推理后属性访问请求中实体属性和关系，无法满足　策略概念定义的属性和关系要求时，需要添加封闭世界约　束，将其纳入策略概念的补集中。添加封闭世界约束由两　个语义构造组成：实例属性断言数量约束（（（＝　）　）（　））和实　处理器角色，同时删除了数据流模型中策略信息点（ＰｉＰ）结　构。与数据流模型最大的不同之处在于，ＰＤＰ依赖于本体　推理机和规则推理机，对用户访问请求的初步评估通过推　例不一致声明（“每ｖ）构成；前者的含义是本体知识库中关　于实例ｉ已有关系　断言的数量为　，后者约束了命名不　唯一假设，指实例“、ｖ是不同的两个实例。由于字面型属　图３策略本体实施框架　周加根，叶春晓，罗娟：ＡＢＡＣ策略语义表示和决策方法　概念ＣＰＳ的所有子概念中找到属性访问请求ＭＡＲ能够满　足的概念。　性取值数量是有限的（见假设（２）），故实体本体中实例不　一致性声明的数量也是有限的。关于实例ｉ已有关系Ｒ断　言的数量则可以通过ＲＤＦ本体查询语言ＳＰＡＲＱＬ的ＳＥＬＥＣＴ　证明根据３．２节中策略本体定义，ＣＰＳ的子概念包括　所有策略集概念ＣＰＳｉｄ和辅助策略集概念ＣＰＳＣｏｍｐｌｅｍｅｎｔ。　查询获得，有关ＳＰＡＲＱＬ语法参见文献［１９］。　实例实现是一项描述逻辑推理服务　，对于给定的实　例ｉ，找到满足概念断言Ｃ（ｉ）的最特殊概念，这里最特殊概　念是相对于概念蕴涵层次上定义的。在策略本体定义中，　不失一般性，令ＣＰＳｉｄ＝－３ｓｕｂｊｅｃｔ．ＣＳＡＥ，将Ｃｓａｅ视为逻辑　命题，根据范式存在定理　，ＣＳＡＥ；ＣＳＡＥ　Ｕ　ＣＳＡＥ，Ｕ…Ｕ　ｎＣｓａｅ１２　ｒ］・一ｎＣｓａｅ１）Ｕ・＿・Ｕ（Ｃｓａｅ　１　ｒ］　ＣＳＡＥ　ｉ（Ｃｓａｅ１１．．．　．具体的策略以概念的形式予以定义，属性访问请求以策略　空间概念ＣＰＳ的实例ＩＡＡＲ定义，由于策略补集概念和封闭　Ｃｓａｅ　ｒ］…ｒ］Ｃｓａｅ…）。注意到经ＳＷＲＬ规则推理和添加　世界约束的存在，调用本体推理机推理服务后，总能找到　ＩＡＡＲ隶属的策略概念，这一点在下一章中予以说明。根据　策略授权标识蕴涵公理，可以推理获得属性访问清求的　ｅｆｆｅｃｔ关系断言ｅｆｆｅｃｔ（ＩＡＡＲ，ＩＰｅｒｍｉｔ／ＩＤｅｎｙ）ｏ若只有唯一的　ｅｆｆｅｃｔ关系断言，则最终策略决策结果为该属性值对应授权　标识；若不唯一，则存在策略冲突，需要参考策略冲突消解　方法，经二次决策给出唯一的策略决策结果，采用允许优　先或禁止优先元策略是常见的方法。　５方法验证　５．１正确性验证　本节通过策略决策方法的完备性和可靠性验证来说　明策略决策方法的正确性。这里，完备性是指于对于任一　访问请求，策略决策方法总能给出决策结果，可靠性指决　策结果是正确的。　首先说明对于给定的访问请求，总存在策略元素给出　决策结果。　引理１本体知识库ＫＢ（Ｔ，　）　Ｃ（ａ）在这些情况中成立：　（１）Ｃ；３Ｒ．｛　｝，Ｄ（　），Ｒ（ａ，　）。　（２）Ｃ；＿１ｊ　．｛　ｌ｝，Ｒ（ａ，ｄ２），（（＝１）Ｒ）（ｎ），ｄｌ雾ｄ２。　（３）ｃ　ｉ　３ＲＤ．［～Ｉｖａｌｕｅ１］，ＲＤ（口，Ｉｖａｌｕｅ２），１ｖａｌｕｅ２￣Ｉｖａｌｕｅ１，其　中～∈｛＝，＞，≥，＜，≤｝。　（４）Ｃ＝－　ＲＤ．【＝Ｉｖａｌｕｅ１】，ＲＤ（口，Ｉｖａｌｕｅ２），（（＝１）ＲＤ）（　），Ｉｖａｌｕｅ２≠　Ｉｖａｌｕｅｌ。　（５）Ｃ　Ｄ１几Ｄ２ｎ…几Ｄ　，Ｄ　（口），ｉ＝１，２，‘。。，　。　这里ｃ、Ｄ为概念，尺为对象关系，　。为数值关系Ｒ　，ａ、ｄ　为个体实例。　证明（１）根据概念３Ｒ．Ｃ的语义　，情况（１）成立。　（２）若情况（２）不成立，即ＫＢ存在（１ｃ）（ｎ）的模型，由　ｃ　一３Ｒ．｛　｝有（｜Ｒ．　｝）（口），从而存在关系断言Ｒ（ａ，ｄ１），又　有Ｒ（ａ，ｄ　）且ｄ　ｄ：，与（（＝１）　）（ａ）产生矛盾，故ｌ青况（２）成立。　（３）根据具体域关系　。和概念　。．ｃ。的语义，情况（３）　成立。　（４）若情况（４）不成立，即存在（＿ｃ）（ａ）的模型，由ｃ　－－，３Ｒ，Ｊ．［＝Ｉｖａｌｕｅ１］有（３Ｒ。＿［＝Ｉｖａｌｕｅ１］）（口），从而存在关系断言　ＲＤ　，Ｉｖａｌｕｅ１），因（（＝ＯＲＤ）（　），从而Ｉｖａｌｕｅｌ＝Ｉｖａｌｕｅ２，与Ｉｖａｌｕｅ２≠　Ｉｖａｌｕｅ，矛盾，故情况（４）成立。　（５）根据概念Ｃ　ｒ］Ｄ的语义，情况（５）成立。　命题１策略本体知识库ＫＢ（Ｔ，Ａ）中，总能在策略空间　封闭世界约束后，ＫＢ中关于某一ＭＡＲ及其主体的概念实　例断言公理和关系断言公理有：　ＣＰＳ（ＩＡＡＲ），ＳＵｂｊｅｃｔ（ＩＡＡＲ，ＩＳｕｂ），（（＝１）ｓｕｂｊｅｃｔ）（ＩＡＡＲ），　ｈａｓＳＡｔｔｒ１（ＩＳｕｂ，ＩＳＡｔｔｒ１Ｖａｌ１　），…，　ｈａｓＳＡｔｔｒ　（ＩＳｕｂ，ＩＳＡｔ　ｔｒ，　，¨）’（（＝？／１）ｈａｓＳＡｔｔＧ）（ＩＳｕｂ），…，　（（＝ｎ　ｓ）ｈａｓＳＡｔｔｒ　）（　“６）　这里ｔ≤Ｓ，　为主体安全属性数量。　由引理１（１）～（４），对于任一Ｃｓａｅ…总可以判定ＫＢ　＿ｌ　Ｃｓａｅ　ｆ（ＩＳｕｂ）和ＫＢ　（一Ｃｓａｅ　）（ＩＳｕｂ）。根据引理１（５），若　对于每个在ＣＳＡＥ　中出现的Ｃｓａｅ¨，总有ＫＢ　Ｆ＝Ｃｓａｅ　，（ＩＳｕｂ），　贝０　ＫＢ　ＣＳＡＥ　（ＩＳｕｂ）；若存在（一Ｃｓａｅ　）（ＩＳｕｂ），贝０　ＫＢ　ｌ匕　（　ＣＳＡＥ　）ｆｆＳｕｂ），这是因为若ＫＢ存在ＣＳＡＥ　（ＩＳｕｂ）的模型，　则Ｃｓａｅ．　ＵＳｕｂ），从而上（ＩＳｕｂ）产生矛盾。　若存在ＣＳＡＥ　满足ＫＢ　ＣＳＡＥ，（ＩＳｕｂ），根据概念ＣＵＤ　的语义，有ＫＢ　ＣＳＡＥ（ＩＳｕｂ），根据ｃＰ　３ｓｕｂｊｅｃｔ．ＣＳＡＥ　及ＳＲｂｊｅｃｔ（ＩＡＡＲ，ＩＳｕｂ），从而ＫＢ　ＣＰＳｉｄ（ＩＡＡＲ）。　存在ｃ５　Ｅ　浞ＫＢ￣ＣＳＡＥ　（ＩＳｕｂ），即　Ｂ｝（　ＣＳＡＥ　）（ＩＳｕｂ），　则ＫＢ　Ｆ＝（一ＣＳＡＥ１厂］＿１Ｃ　Ｅ，ｎ…广］一Ｃ跚Ｅ　）（ＩＳｕｂ），从而　Ｂ　（　ＣＰＳｉｄ）（ＩＡＡＲ）。若对ＣＰＳｉ￣　Ｂ｝＝（一ＣＰＳ，）（ＩＡＡＲ），贝０ＫＢ　（　（ｃｌ尸　ｕ　ＣＰＳ　ｕ…ｕ　ＣＰＳ　））（　），因概念实例断言ＣＰＳ（ＩＡＡＲ）　存在，故瑚　（ｃＰ　几－￣（ＣＰＳ　ＬＪ　ＣＰＳ２　Ｕ…ＬＪ　ＣＰＳ））（　Ｒ），从　而ＫＢｌ匕ＣＰＳＣｏｍｐｌｅｍｅｎｔ（ＩＡＡＲ）。　综上所述，命题成立。　采用类似的方法可以证明下述命题：　命题２策略本体知识库ＫＢ（Ｔ，Ａ）中，总能在策略集空　间概念ＣＰＳｉｄ的所有子概念中找到属性访问请求ＭＡＲ能　够满足的概念。　注意到ＭＡＲ满足这些概念均出现在授权标识蕴涵公　理左端，故总能获得策略决策结果，可以保证策略决策方　法的完备性。　从策略决策方法完备性的证明过程可以看出，只有属　性访问请求实例中实体属性取值满足具体策略中属性取　值约束，访问操作隶属于具体策略中定义的操作集合，满　足的系统内部关系包含了具体策略定义中关系时，即策略　评估结果为真时才会成为该具体策略的实例（定义６）。再　经授权标识蕴涵公理获得的授权标识实例，从而获得策略　决策结果。在此意义上，策略决策方法是可靠的。尽管对　于给定的属性访问请求，总存在策略决策结果，但存在策　Ｃｏｍｐｕｔｅｒ　Ｅｎｇｉｎｅｅｒｉｎｇ　ａｎｄＡｐｐｌｉｃａｔｉｏｎｓ计算机工程与应用　略决策结果不唯一的情况。若属性访问请求的策略决策　结果中同时包含ｐｅｒｍｉｔ和ｄｅｎｙ，此时存在策略冲突，根据　元策略信息消解策略冲突（策略本体实施框架步骤（６）），　保证获得唯一的策略决策结果。因此对于给定的属性访　问请求，总存在唯一的策略决策结果。　综上所述，本文提出的策略决策方法是完备和可靠的。　５．２策略决策性能　面向不同应用的组织和团体问安全需求差异相对较　大，制定策略时往往采用不同的安全属性，为验证本文提　出的策略本体定义和实施框架的正确性，使用ｐｒｏｔ６ｇ６　４．２　建立策略本体的概念验证原型（见图４），策略数据来源于　Ｃｏｎｔｉｎｕｅ　”。概念验汪原型策略本体中包含８９个类（５５个　具体策略概念）、９个对象属性、¨个数据属性和９４个实例　（５５个访『廿ｊ请求实例），埘应的描述逻辑表ｉ　邕力为ＡＬＣＯＱ（Ｄ）。　Ｉ：　：　三　一　一　。　－　螂　…　蜥　一　…　鲫　蚺　口　艚　＊　…一　＿　ｍ　一一　¨　Ｎ　《　锄　｜≯　｜　１　ｈＭ　‘　ｎ】｝　・ｃ　Ｐ　Ｉ‘ｖ　ｌｃ……ｔ　，ｃ０ｎ’…¨ｌ…　’　ｓ　ｃ０ｎｆ…Ｊ＿　”，‘…　’　ＰＰ３　ｃｏｎｆ●…●ｒｅ２　ＰＰｔ　ｃ……●ｒｃ　Ｐ：　：：　…～　…　Ｉｌ　∞　∞　ＰＰ　ｒ　‘●。…ｎｔｔ　ｒ　～”　ｏ　…　｛‘　Ｄ…‘ｍ●●ｑ　ｗｎ‘‘ｊＨ　”ｐ…　ｍｎ　　Ｊｎ　●‘。…ｌ，…　｛…ｆ‘…Ｔ　Ｐｒ…‘ｒ　ｒ－ｖ｝…。ｎｔ●ｎ　…ｔ　。　｛ｈ　；Ｒ…　…　）　Ｐ……●　｝●ｗ｛０ｎ，ｏｏ　Ｅ…ｎｔ＿Ｐ【　＂…　ｖ・ｗ一¨ｍ…－　…０■ｆ　……　ｌ　ｒｃ　Ｐ　●Ｆ…一　～Ｅｃ　。　＇。…●亡ｌ　ｌ　ｐ●ｐ……１……●｝…●　●　ｈ－～　Ｉ～　…ｔ　ｔ…　…＿…０　，…ｒ…　：誊：　：　：　嚣　　．善　曼墨　：　竺　，　…　一　图４策略本体验证原型示例　含通用ＴＢｏｘ的ＡＬＣＯＱ中概念可满足性和ＡＢｏｘ一　致性理沦上的时间复杂度均是ＥｘｐＴｉｍｅ．完备的　。ＥｘｐＴｉｍｅ一　完备时问复杂度是较高的，鉴于执行ＳＰＡＲＱＬ　ＳＥＬＥＣＴ查　询和添加封闭世界约束的时间相对恒定，同时策略决策依　赖于规则推理和实例实现推理，将策略本体中策略概念数　量对ＯＷＬ推理机实际推理时问造成的影响作为策略决策　性能的度量（见图５），实验机器配置为Ｉｎｔｅｌ　Ｃｏｒｅ　ｉ３　２．２　ＧＨｚ、　４　ＧＢ内存，推理机选用了Ｐｅｌｌｅｔ。　策略数量　图５推理时问与策略概念数量关系　对单个访问请求进行评估的推理时间与策略概念数　量成近线性关系，从具体策略数量（５５）、单个访问清求的　策略决策推理时问（约１　Ｓ）上看，该策略决策方法能够应用　于中小规模应用环境。对多个访问请求同时进行评估的　推理时间较不稳定，但总体上小于对各访问请求分别进行　评估的推理时间总和，表明该策略决策方法在处理多访问　请求同时评估方面具备一定的适用性。　６结束语　ＡＢＡＣ采用属性的方式刻画实体，可以有效地解决开　放式系统环境中细粒度的授权和访问控制问题。针对不　同应用域中实施的安全策略依赖的属性语义存在差异，缺　乏有效的策略表示和决策方法，建立ＡＢＡＣ策略本体模　型，准确地表达模型中的实体及相关属性语义信息。然后　给出了ＡＢＡＣ策略本体的策略决策方法，该方法借助　ＳＷＲＬ规则给属性访问请求添加满足的系统关系，使用实　例实现的描述逻辑推理对访问请求做访问控制决策，为从　语义层次上表达和实施ＡＢＡＣ策略提供有效的支持。　后续的工作包括改进策略定义方法，以合理地利用描　述逻辑推理，提高策略决策的性能。此外，结合现有语义　Ｗｅｂ信任研究和信息安全研究中信任管理的相关成果，消　除实体安全属性信息总是完备和可信的假设（３．２节中假没　（４））也是一项重要的工作。　参考文献：　［１】Ｗａｎｇ　Ｌ　Ｙ，Ｗｉｊｅｓｅｋｅｒａ　Ｄ，Ｊａｊｏｄｉａ　ｓ．Ａ　ｌｏｇｉｃ—ｂａｓｅｄ　ｆｒａｍｅ—　ｗｏｒｋ　ｆｏｒ　ａｔｔｒｉｂｕｔｅ　ｂａｓｅｄ　ａｃｃｅｓｓ　ｃｏｎｔｒｏｌ【Ｃ】／／Ｐｒｏｃｅｅｄｉｎｇｓ　ｏｆ　ｔｈｅ　２００４　ＡＣＭ　Ｗｏｒｋｓｈｏｐ　ｏｎ　Ｆｏｒｍａｌ　Ｍｅｔｈｏｄｓ　ｉｎ　Ｓｅｃｕｒｉｔｙ　Ｅｎｇｉｎｅｅｒｉｎｇ．Ｎｅｗ　Ｙｏｒｋ：ＡＣＭ，２００４：４５—５　５．　［２】李晓峰，冯登国，陈朝武，等．基于属性的访　控制模型【Ｊ］ｌ通信　学报，２００８，２９（４）：９０—９８．　［３】Ｌａｎｇ　Ｂ，Ｆｏｓｔｅｒ　Ｉ，Ｓｉｅｂｅｎｌｉｓｔ　Ｆ，ｅｔ　ａ１．Ａ　ｆｌｅｘｉｂｌｅ　ａｔｔｒｉｂｕｔｅ　ｂａｓｅｄ　ａｃｃｅｓｓ　ｃｏｎｔｒｏｌ　ｍｅｔｈｏｄ　ｆｏｒ　ｇｒｉｄ　ｃｏｍｐｕｔｉｎｇ［Ｊ］．Ｊｏｕｒｎａｌ　ｏｆ　Ｇｒｉｄ　Ｃｏｍｐｕｔｉｎｇ，２００９，７（２）：１６９—１８０．　【４１　Ｓｌｏｍａｎ　Ｍ．Ｐｏｌｉｃｙ　ｄｒｉｖｅｎ　ｍａｎａｇｅｍｅｎｔ　ｆｏｒ　ｄｉｓｔｒｉｂｕｔｉｏｎ　ｓｙｓ—　ｔｅｍｓ［Ｊ］．Ｊｏｕｒｎａｌ　ｏｆ　Ｎｅｔｗｏｒｋ　ａｎｄ　Ｓｙｓｔｅｍｓ　Ｍａｎａｇｅｍｅｎｔ，１　９９４，　２（４）：３３６—３６０．　［５］Ｍｏｓｅｓ　Ｔ．ｅＸｌｅｎｓｉｂｌｅ　Ａｃｃｅｓｓ　Ｃｏｎ￣ｏｌ　Ｍａｒｋｕｐ　Ｌａｎｇｕａｇｅ（ＸＡＣＭＬ）　ｖｅｒｓｉｏｎ　２．Ｏ［ＥＢ／ＯＬ］．（２００５—０２一Ｏ１）ｈｔｔｐ：／／ｄｏｃｓ．ｏａｓｉｓ—ｏｐｅｎ．ｏｒｇ／ｘａｃｍｌ／　２．Ｏ／ａｃｃｅｓｓｃｏｎｔｒｏｌ—ｘａｃｍｌ一２．０一ｃｏｒｅ－ｓｐｅｃ—ＯＳ．ｐｄｆ．　［６】Ｙｅ　Ｃ，Ｚｈｏｎｇ　Ｊ，Ｆｅｎ　Ｙ．Ａｔｔｒｉｂｕｔｅ—ｂａｓｅｄ　ａｃｃｅｓｓ　ｃｏｎｔｒｏｌ　ｐｏｌｉｃｙ　ｓｐｅｃｉｉｆｃａｔｉｏｎ　ｌａｎｇｕａｇｅ［Ｊ］．Ｊｏｕｒｎａｌ　ｏｆ　Ｓｏｕｔｈｅａｓｔ　Ｕｎｉｖｅｒｓｉｔｙ，２００８，　２４（３）：２０６．２６３．　【７ｊ　Ｐｒｉｅｂｅ　Ｔ，Ｄｏｂｍｅｉｅｒ　Ｗ，Ｓｃｈｌａｇｅｒ　Ｃ，ｅｔ　ａｌ　Ｓｕｐｐｏｒｔｉｎｇ　ａｔｔｒｉｂｕｔｅ—　ｂａｓｅｄ　ａｃｃｅｓｓ　ｃｏｎｔｒｏｌ　ｉｎ　ａｕｔｈｏｒｉｚａｔｉｏｎ　ａｎｄ　ａｕｔｈｅｎｔｉｃａｔｉｏｎ　ｉｎｆｒａ，　ｓｔｒｕｃｔｕｒｅｓ　ｗｉｔｈ　ｏｎｔｏｌｏｇｉｅｓ［Ｊ］．Ｊｏｕｒｎａｌ　ｏｆ　Ｓｏｆｔｗａｒｅ，２００７，２（１）：　２７—３８．　［８］Ｂａｒｋｅｒ　Ｓ，Ｓｔｕｃｋｅｙ　Ｐ　Ｊ，Ｆｌｅｘｉｂｌｅ　ａｃｃｅｓｓ　ｃｏｎｔｒｏｌ　ｐｏｌｉｃｙ　ｓｐｅｃｉｉｆ—　ｃａｔｉｏｎ　ｗｉｔｈ　ｃｏｎｓｔｒａｉｎｔ　ｌｏｇｉｃ　ｐｒｏｇｒａｍｍｉｎｇ［Ｊ］．ＡＣＭ　Ｔｒａｎｓａｃ—　ｔｉｏｎｓ　ｏｎ　Ｉｎｆｏｒｍａｔｉｏｎ　ａｎｄ　Ｓｙｓｔｅｍ　Ｓｅｃｕｒｉｔｙ（ＴＩＳＳＥＣ），２００３，６　（４）：５Ｏ１．５４６．　［９］Ｚｈａｏ　Ｃ，Ｌｉｕ　Ｓ　Ｐ，Ｌｉｎ　Ｚ　Ｑ．Ｒｅｐｒｅｓｅｎｔａｔｉｏｎ　ａｎｄ　ｒｅａｓｏｎｉｎｇ　ｏｎ　ＲＢＡＣ：ａ　ｄｅｓｃｒｉｐｔｉｏｎ　ｌｏｇｉｃ　ａｐｐｒｏａｃｈ［Ｃ］／／ＬＮＣＳ　３７２２：Ｐｒｏ—　ｃｅｅｄｉｎｇｓ　ｏｆ＂ｔｈｅ　Ｉｎｔｅｒｎａｔｉｏｎａｌ　Ｃｏｌｌｏｑｕｉｕｍ　ｏｎ　Ｔｈｅｏｒｅｔｉｃａｌ　Ａｓｐｅｃｔｓ　ｏｆ　Ｃｏｍｐｕｔｉｎｇ．Ｂｅｒｌｉｎ：Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ，２００５：３９４—４０６．　（下转６６页）　８　６６　２０１３，４９（２３）　ＣｏｍｐｕｔｅｒＥｎｇｉｎｅｅｒｉｎｇ　ａｎｄＡｐｐｌｉｃａｔｉｏｎｓ计算机工程与应用　ｌｅｓｓ　ｓｅｎｓｏｒ　ｎｅｔｗｏｒｋｓ［Ｃ］／／ＩＳＣＣ，２００４．　解决ＺｉｇＢｅｅ网络时间同步问题的新思路，该研究引入不应　期的方法解决了延迟节点重复激发的问题。ＺｉｇＢｅｅ测试　［７］　ｖａｎ　Ｇｒｅｕｎｅｎ　Ｊ，Ｒａｂａｅｙ　Ｊ．Ｌｉｇｈｔｗｅｉｇｈｔ　ｔｉｍｅ　ｓｙｎｃｈｒｏｎｉｚａｔｉｏｎ　ｏｒｆ　ｓｅｎｓｏｒ　ｎｅｔｗｏｒｋｓ［Ｃ］／／ＷＳＮＡ’０３，２００３．　平台的结果显示，算法使得ＺｉｇＢｅｅ网络在物理层的传输精　度相对于经典算法有较大的提高，提高了系统的时间精度　使得整个ＺｉｇＢｅｅ网络趋向同步，准确地记录各种任务请　［８１徐朝农，徐勇军，李晓维．无线传感器网络时　计算机研究与发展，２００８，４５（１）：１３８—１４５　步新技术ｆＪ］　求、到达和完成的时间。在实验过程发现影响算法精度的　主要原因是，在算法趋向于同步的时候，各个节点几乎在　【９］Ｓｍｉｔｈ　Ｈ　Ｍ．Ｓｙｎｃｈｒｏｎｏｕｓ　ｆｌａｓｈｉｎｇ　ｏｆ　ｆｉｒｅｆｌｉｅｓ［Ｊ］Ｓｃｉｅｎｃｅ，１９３５，　８２（２１２０）：１５１—１５２．　［１０］Ｂｕｃｋ　Ｊ，Ｂｕｃｋ　Ｅ．Ｍｅｃｈａｎｉｓｍ　ｏｆ　ｒｈｙｔｈｍｉｃ　ｓｙｎｃｈｒｏｎｏｕｓ　ｆｌａｓｈ－　ｉｎｇ　ｏｆ　ｆｉｒｅｆｌｉｅｓ［Ｊ］．Ｓｃｉｅｎｃｅ，１９６８，ｌ５９（３８２１）：１３１９—１　３２７．　［１１］Ｂｌａｉｒ　Ｋ　Ｇ．Ｌｕｍｉｎｏｕｓ　ｉｎｓｅｃｔｓ［Ｊ］．Ｎａｍｒｅ，１９１５，９６（２４０６）：４１１－４１５．　同一时间发送数据包，导致通信的效率低下。如何找到一　个机制可以避免此种情况的发生是今后要做的工作。　参考文献：　［１］郑威．基于能量高效的传感器网络路由算法研究［Ｄ］．杭州：浙　江大学，２００６．　［２］Ｅｌｓｏｎ　Ｊ，Ｒｏｍｅｒ　Ｋ．Ｗｉｒｅｌｅｓｓ　ｓｅｎｓｏｒ　ｎｅｔｗｏｒｋｓ：ａ　ｎｅｗ　ｒｅｇｉｍｅ　［１２］Ｒｉｃｈｍｏｎｄ　Ｃ　Ａ．Ｆｉｒｅｆｌｉｅｓ　ｆｌａｓｈｉｎｇ　ｉｎ　ｕｎｉｓｏｎ［Ｊ］．Ｓｃｉｅｎｃｅ，１９３０，　７１（１８４７）：５３７．５３８．　［１３］Ｂｕｃｋ　Ｊ　Ｂ．Ｓｙｎｃｈｒｏｎｏｕｓ　ｒｈｙｔｈｍｉｃ　ｆｌａｓｈｉｎｇ　ｏｆ　ｆｉｒｅｆｌｉｅｓ［Ｊ］．Ｔｈｅ　Ｑｕａｒｔｅｒｌｙ　Ｒｅｖｉｅｗ　ｏｆ　Ｂｉｏｌｏｇｙ，１９３８，１３【３）：３０１—３１４　［１４】Ｂｕｃｋ　Ｊ．Ｓｙｎｃｈｒｏｎｏｕｓ　ｒｈｙｔｈｍｉｃ　ｆｌａｓｈｉｎｇ　ｏｆ　ｆｉｒｅｆｌｉｅｓ　ｌＩ［Ｊ］．　Ｔｈｅ　Ｑｕａｒｔｅｒｌｙ　Ｒｅｖｉｅｗ　ｏｆ　Ｂｉｏｌｏｇｙ，ｌ　９８８，６３（３）：２６５—２８９．　ｆｏｒ　ｔｉｍｅ　ｓｙｎｃｈｒｏｎｉｚａｔｉｏｎ［Ｊ］．ＳＩＧＣＯＭＭ　Ｃｏｍｐｕｔ　Ｃｏｍｍｕｎ　Ｒｅｖ，２００３．　［３］Ｋａｒｌ　Ｈ．Ｐｒｏｔｏｃｏｌｓ　ａｎｄ　ａｒｃｈｉｔｅｃｔｕｒｅｓ　ｆｏｒ　ｗｉｒｅｌｅｓｓ　ｓｅｎｓｏｒ　ｎｅｔ—　ｗｏｒｋ［Ｍ］．Ｈｏｂｏｋｅｎ：Ｗｉｌｅｙ，２００５．　［１５］Ｐｅｓｋｉｎ　Ｃ　Ｓ．Ｓｅｌｆ－ｓｙｎｃｈｒｏｎｉｚａｔｉｏｎ　ｏｆ　ｔｈｅ　ｃａｒｄｉａｃ　ｐａｃｅｍａｋｅｒ［Ｍ］／／　Ｍａｔｈｅｍａｔｉｃａｌ　ａｓｐｅｃｔｓ　ｏｆ　ｈｅａｒｔ　ｐｈｙｓｉｏｌｏｇｙ．Ｎｅｗ　Ｙｏｒｋ：Ｎｅｗ　Ｙｏｒｋ　Ｕｎｉｖｅｒｓｉｔｙ，１９７５：２６８—２７８．　【４］孙利民，李建中，陈渝，等．无线传感器网络［Ｍ】．北京：清华大学　出版社，２００５．　［１６］安竹林，徐勇军．基于ｊＥ漏电脉冲耦合振荡器模型的无线传　感器网络时间Ｉ—Ｊ步算法［Ｊ　Ｊｌ高技术通汛，２０１１，２１（１１）．　［１７】朱冠男，徐宁．基于线性脉冲耦合振荡器模型的ＷＳＮ时『日Ｊ同　［５］李虹．无线传感器网络中节能相关若干关键问题研究［Ｄ］．合　肥：中国科学技术大学，２００７．　［６］Ｖｏｉｇｔ　Ｔ，Ｄｕｎｋｅｌｓ　Ａ，Ａｌｏｎｓｏ　Ｊ．Ｓｏｌａｒ—ａｗａｒｅ　ｃｌｕｓｔｅｒｉｎｇ　ｉｎ　ｗｉｒｅ－　步［Ｊ］．武汉理工大学学报，２００９，３１（１９）．　（上接６２页）　［１　０］Ｆｉｎｉｎ　Ｔ，Ｊｏｓｈｉ　Ａ，Ｋａｇａｌ　Ｌ，ｅｔ　ａ１．ＲＯＷＬＢＡＣ：ｒｅｐｒｅｓｅｎｔｉｎｇ　［１５］胡殿友，张斌．网格环境中基于语义的ＡＢＡＣ属性研究［Ｊ１ｌ计　算工程与设计，２０１０，３１（１４）：３１７４　３１７６．　［１　６］Ｍｃｇｕｉｎｎｅｓｓ　Ｄ　Ｌ，Ｈａｒｍｅｌｅｎ　Ｆ．ＯＷＬ　ｗｅｂ　ｏｎｔｏｌｏｇｙ　ｌａｎｇｕａｇｅ　ｏｖｅｒｖｉｅｗ［ＥＢ／ＯＬ］．（２００４—０２－１０）［２Ｏ１２－０１一ｌＯ］．ｈｔｔｐ：／／ｗｗｗ　ｗ３　ｏｒｇ／ＴＲ／ｏｗｌ—ｆｅａｔｕｒｅｓ．　ｒｏｌｅ　ｂａｓｅｄ　ａｃｃｅｓｓ　ｃｏｎｔｒｏｌ　ｉｎ　ＯＷＬ［Ｃ］／／Ｐｒｏｃｅｅｄｉｎｇｓ　ｏｆ　１　３ｔｈ　ＡＣＭ　Ｓｙｍｐｏｓｉｕｍ　ｏｎ　Ａｃｃｅｓｓ　Ｃｏｎｔｒｏｌ　Ｍｏｄｅｌｓ　ａｎｄ　Ｔｅｃｈｎｏｌ－　ｏｇｌｅｓ．Ｎｅｗ　Ｙｏｒｋ：ＡＣＭ　Ｐｒｅｓｓ，２００８：７３—８２．　［１１】努尔买买提・黑力力，开依沙尔・热合曼．带负授权ＲＢＡＣ模型　的ＯＷＬ表示及冲突检测［Ｊ］．计算机工程与应用，２０１０，４６　（３０）：８２—８５．　［１　７］Ｂａａｄｅｒ　Ｆ，Ｃａｌｖａｎｅｓｅ　Ｄ，ＭｃＧｕｉｎｎｅｓｓ　Ｄ，ｅｔ　ａ１．Ｔｈｅ　ｄｅｓｃｒｉｐ—　ｔｉｏｎ　ｌｏｇｉｃ　ｈａｎｄｂｏｏｋ：ｔｈｅｏｒｙ，ｉｍｐｌｅｍｅｎｔａｔｉｏｎ，ａｎｄ　ａｐｐｌｉｃａ—　ｔｉｏｎｓ［Ｍ］．Ｃａｍｂｒｉｄｇｅ：Ｃａｍｂｒｉｄｇｅ　Ｕｎｉｖｅｒｓｉｔｙ　Ｐｒｅｓｓ，２００２．　［１８】Ｈｏｒｒｏｃｋｓ　Ｉ，Ｐａｔｅｌ—Ｓｃｈｎｅｉｄｅｒ　Ｐ　Ｆ，Ｂｏｌｅｙ　Ｈ，ｅｔ　ａｌ　ＳＷＲＬ：　ａ　ｓｅｍａｎｔｉｃ　Ｗｅｂ　ｒｕｌｅ　ｌａｎｇｕａｇｅ　ｃｏｍｂｉｎｉｎｇ　Ｏ　Ｗ　Ｌ　ａｎｄ　［１２】Ｂｅｉｍｅｌ　Ｄ，Ｐｅｌｅｇ　Ｍ．Ｕｓｉｎｇ　ＯＷＬ　ａｎｄ　ＳＷＲＬ　ｔｏ　ｒｅｐｒｅｓｅｎｔ　ａｎｄ　ｒｅａｓｏｎ　ｗｉｔｈ　ｓｉｔｕａｔｉｏｎ－ｂａｓｅｄ　ａｃｃｅｓｓ　ｃｏｎｔｒｏｌ　ｐｏｌｉｃｉｅｓ［Ｊ］．　Ｄａｔａ＆Ｋｎｏｗｌｅｄｇｅ　Ｅｎｇｉｎｅｅｒｉｎｇ，２０１１。７０：５９５—６１５．　ＲｕｌｅＭＬ［ＥＢ／ＯＬ］．（２０　１　１－０５—２６）．ｈｔｔｐ：／／ｗｗｗ．ｗ３　ｏｒｇ／Ｓｕｂｍｉｓｓｉｏｎ／　ＳＷＲＬ／．　［１３］Ｋａｇａｌ　Ｌ，Ｆｉｎｉｎ　Ｔ，Ｊｏｓｈｉ　Ａ．Ａ　ｐｏｌｉｃｙ　ｌａｎｇｕａｇｅ　ｆｏｒ　ａ　ｐｅｒｖａ－　ｓｉｖｅ　ｃｏｍｐｕｔｉｎｇ　ｅｎｖｉｒｏｎｍｅｎｔ［Ｃ］／／Ｐｒｏｃｅｅｄｉｎｇｓ　ｏｆ　ＩＥＥＥ　４ｔｈ　Ｉｎｔｅｒｎａｔｉｏｎａｌ　Ｗｏｒｋｓｈｏｐ　ｏｎ　Ｐｏｌｉｃｉｅｓ．Ｗａｓｈｉｎｇｔｏｎ，ＤＣ：ＩＥＥＥ　Ｃｏｍｐｕｔｅｒ　Ｓｏｃｉｅｔｙ　Ｐｒｅｓｓ，２００３：６３—７６．　［１９】Ｐｒｕｄ　Ｅ，Ｓｅａｂｏｍｅ　Ａ．ＳＰＡＲＱＬ　ｑｕｅｒｙ　ｌａｎｇｕａｇｅ　ｆｏｒ　ＲＤＦ口Ｂ／ＯＬ］　（２００８—０　１－１　５）．ｈｔｔｐ：／／ｗｗｗ．ｗ３．ｏｒｇ／ＴＲ／ｒｄｆ－ｓｐａｒｑｌ—ｑｕｅｒｙ／．　［２０］Ｄａｖｉｓ　Ｍ　Ｄ，Ｓｉｇａｌ　Ｒ，Ｗｅｙｕｋｅｒ　Ｅ　Ｊ．Ｃｏｍｐｕｔａｂｉｌｉｔｙ，ｃｏｍｐｌｅｘｉｔｙ，　ａｎｄ　ｌａｎｇｕａｇｅｓ，ｆｕｎｄａｍｅｎｔａｌｓ　ｏｆ　ｔｈｅｏｒｅｔｉｃａｌ　ｃｏｍｐｕｔｅｒ　ｓｃｉ—　［１４］Ｕｓｚｏｋ　Ａ，Ｂｒａｄｓｈａｗ　Ｊ　Ｍ，Ｊｅｆｆｅｒｓ　Ｒ，ｅｔ　ａ１．ＫＡｏＳ　ｐｏｌｉｃｙ　ａｎｄ　ｄｏｍａｉｎ　ｓｅｒｖｉｃｅｓ：ｔｏｗａｒｄ　ａ　ｄｅｓｃｒｉｐｔｉｏｎ—ｌｏｇｉｃ　ａｐｐｒｏａｃｈ　ｔｏ　ｐｏｌｉｃｙ　ｅｎｃｅ［Ｍ］．２ｎｄ　ｅｄ．ＩＳ．１．］：Ｐｏｓｔｓ＆Ｔｅｌｅｃｏｍ　Ｐｒｅｓｓ，２００９：３５３—３５９．　［２１］Ｆｉｓｌｅｒ　Ｋ，Ｋｒｉｓｈｎａｍｕｒｔｈｉ　Ｓ，Ｍｅｙｅｒｏｖｉｃｈ　Ｌ　Ａ，ｅｔ　ａｌＶｅｒｉｉｆｃａｔｉｏｎ　ａｎｄ　ｃｈａｎｇｅ－－ｉｍｐａｃｔ　ａｎａｌｙｓｉｓ　ｏｆ　ａｃｃｅｓｓ・・ｃｏｎｔｒｏｌ　ｐｏｌｉｃｉｅｓ［Ｃ］／／　Ｐｒｏｃｅｅｄｉｎｇｓ　ｏｆ　ｔｈｅ　２７ｔｈ　Ｉｎｔｅｒｎａｔｉｏｎａｌ　Ｃｏｎｆｅｒｅｎｃｅ　ｏｎ　Ｓｏｆｔ—　ｗａｒｅ　Ｅｎｇｉｎｅｅｒｉｎｇ．Ｎｅｗ　Ｙｏｒｋ：ＡＣＭ　Ｐｒｅｓｓ，２００５：１　９６—２０５．　ｒｅｐｒｅｓｅｎｔａｔｉｏｎ，ｄｅｃｏｎｆｌｉｃｔｉｏｎ，ａｎｄ　ｅｎｆｏｒｃｅｍｅｎｔ［Ｃ］／／Ｐｒｏｃｅｅｄ—　ｉｎｇｓ　ｏｆ　ＩＥＥＥ　４ｔｈ　Ｉｎｔｅｒｎａｔｉｏｎａｌ　Ｗｏｒｋｓｈｏｐ　ｏｎ　Ｐｏｌｉｃｉｅｓ　ｆｏｒ　Ｄｉｓｔｒｉｂｕｔｅｄ　Ｓｙｓｔｅｍｓ　ａｎｄ　Ｎｅｔｗｏｒｋｓ．Ｗａｓｈｉｎｇｔｏｎ，ＤＣ：ＩＥＥＥ　Ｃｏｍｐｕｔｅｒ　Ｓｏｃｉｅｔｙ　Ｐｒｅｓｓ，２００３：９３．９６