基于策略代数系统的策略间关系分析

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户:vin0726
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
当前分析策略之间关系的研究多集中于访问控制策略,主要根据主体、目标和动作三元组上的重叠关系来划分策略冲突类型,存在划分标准不明确,冲突分类不完善等问题.采用策略代数系统来对策略进行描述,能表示Ponder中的授权策略(访问控制策略)和职责策略.分析了策略对应组成部分间所有可能存在的关系,包括离散、相等、包含、部分包含和交叉等五种,在这些关系的基础上指出了可能存在的冲突,并给出了相应的冲突消解方案.
其他文献
2019年12月,深圳警方查处了一家疑似以课程培训和企业营销为幌子,从事诈骗和传销活动的公司,抓获了多名在网络上流传很广的所谓"成功学"和"营销学"的大师,涉案资金超过2000万
分析了交流伺服系统的基本原理和电气性能特点。介绍了交流伺服系统主要性能评价指标和测试方法。据此,根据GB/T 16439—2009《交流伺服系统通用技术条件》中交流伺服系统试
通过抚育强度的不同,了解兴安落叶松人工林的树高,胸径以及冠层的影响。为更好的进行抚育兴安落叶松人工林,借助林区密度优化,以期获得良好的生态和社会效益,为兴安落叶松人
IPv6是下一代网络解决IP地址空间紧张问题和满足用户对网络服务质量要求的关键技术.下一代IPv6网络需要新服务和新设备.新设备和协议需要在IPv6环境验证和推广.网络模拟器是验证
当前,电子商务领域的发展极大地推动了社会经济的发展.随着2019"双11"电商大战的落幕,人们在惊叹各大电商平台惊人的销售额的同时,也开始对电商品牌的相关产品质量和品牌包装
号称“投入少,发展快,互帮互助,人人平等”的理财项目,不过是传销模式的新变种,甚至披上了拯救“50300传销难民”的外衣。陕西人焦某珠独创“明珠七星阵互助理财法”,在青岛
近日,国家信访局印发了《关于进一步规范信访事项受理办理程序引导来访人依法逐级走访的办法》,并于5月1日起实施。这个新办法形成于中办、国办今年2月《关于创新群众工作方
本文就当前对我国的国有土地拍卖制度进行简单的分析,探讨传统的国有土地拍卖制度对于我国房地产价格的影响,并提出一种土地双向拍卖模型。 This article briefly analyzes
概念涉众型经济犯罪是指行为人在市场经济运行过程中,为了谋取不法利益,违反国家经济法规和刑事法律,侵害不特定多数被害人的经济利益,破坏社会主义市场经济秩序,依照刑法应
目的探索Wistar大鼠脊髓损伤后损伤局部微环境发生改变的分子生物学机制,寻找起关键调控作用的微RNA。方法 15只雌性Wistar大鼠随机分为对照组(n=3)和脊髓损伤组(n=12)。脊髓