【摘 要】
：
策略安全分析是访问控制系统保持安全状态的重要机制.针对具有角色继承层次和角色静态互斥特征的分布式访问控制系统,文中采用智能规划技术进行策略安全分析.首先,提出了策略
【机 构】
：
中山大学信息科学与技术学院软件研究所,广东工业大学机电工程学院CIMS实验室
论文部分内容阅读
策略安全分析是访问控制系统保持安全状态的重要机制.针对具有角色继承层次和角色静态互斥特征的分布式访问控制系统,文中采用智能规划技术进行策略安全分析.首先,提出了策略安全分析问题向规划问题转换的整体思路,定义"虚动作"模型以描述角色继承关系,使用领域互斥表述静态互斥角色,引入领域公理处理ARBAC策略的开放世界假设问题和前提条件中的负谓词问题.其后,运用图规划(Graphplan)算法求解转换而来的规划问题,重点分析了领域公理对规划图中部分NooP动作的剪枝作用,提出了领域公理在规划图扩展阶段的应用方式以及据此改进的图规划算法,介绍了已开发的面向ARBAC策略安全分析实验型规划系统.最后,进行了应用示例说明.
其他文献
文章运用当代形式句法学的格位理论、轻动词理论以及汉语韵律句法学理论证明:一、做状语的名词需要由介词授予格位,否则便违反"格过滤规则"。名词做状语实际是介词"无音化"的
一位老师来我班上数学公开课，教具准备得相当充分。课堂上她“啪啪啪”往黑板上粘上八张阔双面胶带，然后再贴上四张硬纸剪成的演示图片．工工整整，非常醒目。下课了，这位老师撕下那
目的观察超声引导竖脊肌平面(erector spinae plane,ESP)阻滞对肋骨骨折病人术后镇痛效果的影响。方法选择择期行全麻肋骨骨折手术治疗的病人,随机分为两组:ESP组和对照组,每
用毛细管法测定药物熔点时,样品须在适当的温度下进行干燥、失重,在干燥、洁净的研钵中研细;毛细管应事先清洗干净,样品装填高度应一致,装填结实。除外上述影响因素,预设温度
优化石油企业与油地之间的关系不仅可以促进石油企业的全面发展,也能够实现石油开采工作的可持续发展,但是,由于各种因素的影响,我国石油企业与油地之间的关系还存在一些问题
<正>初中英语阅读教学是一个非常活跃的思维过程,学生自始至终处于积极主动的状态,不停地对视觉信息进行解码、加工和处理。教师需设计恰当的课堂提问,增加学生与文章亲近的
随着我国成品油管道建设高峰期的到来,成品油管道输送正在逐步替代铁路槽车运输,操作要求管道智能化,其中成品油管道输送混油界面跟踪已成为影响管道运行安全和操作人员工作
利用Anderson冲击式分级采样器,在2010年冬季采集了成都市城东区不同粒径的大气颗粒物样品,分析了9种水溶性离子(SO42-、NO3-、Cl-、F-、NH4+、Ca2+、Mg2+、K+、Na+)的含量,
根据旅游度假村的评价条件，提出了秦北坡旅游度假带的评价指标，给出了评价参数表，对秦北坡旅游度假带进行了定量分析评价，按照综合评价积分，划分出三个不同级别的开发区：一级度假开
目的：探索顽固性慢性前列腺炎的尿流动力学表现,利用尿流动力学检查指导其临床治疗。方法：对2010年5月至2012年6月收治的56例顽固性慢性前列腺炎患者做尿流动力学检查,测定参数