【摘 要】
：
访问控制策略合成是确定分布式聚合资源访问控制策略的关键.为了规范策略合成和保障策略合成正确性,基于属性刻画了实体间的授权关系,通过属性值的计算结构扩展了现有的策略
论文部分内容阅读
访问控制策略合成是确定分布式聚合资源访问控制策略的关键.为了规范策略合成和保障策略合成正确性,基于属性刻画了实体间的授权关系,通过属性值的计算结构扩展了现有的策略合成形式化框架,建立了新的基于属性的策略合成代数模型APoCA(attribute-base access control policy composition algebra).通过示例分析说明APoCA具有更强的策略合成描述能力和普适性,适应于更为复杂的应用场景.用代数表达式形式化地描述聚合资源的访问控制策略,讨论了策略表达式的若干代数性质,说明可借助策略表达式的代数性质去验证策略合成结果是否符合各方对聚合资源的保护性需求.给出了将代数表达式翻译成逻辑程序的翻译器,为聚合资源的访问控制策略评估和应用提供基础.
其他文献
1988年，四川文艺出版社出版了一凹册薄薄的《夸西莫多抒情诗选》（吕同六译），选译了夸西莫多已出版的八部诗集中的部分作品，其中《水与土》十二首，《消逝的笛音》九首，《厄拉托与阿波
根据变电检修管理的实际情况,针对现时工作票软件相对独立性与变电管理系统连接不紧密的问题,提出基于变电检修管理一体化运行的工作票思路。在此基础上开发一种可视化的基于
本文在实证调研的基础上,较为深入地探讨了青年时尚文化与青年行为选择的相互关系,辩证地分析了青年时尚文化对于青年成长的影响,有针对性地提出了共青团组织引领青年文化、
语文意识培养分为课内和课外两个渠道 ,将意识分为听、说、读、写四方面 ,重点强调生活中语文意识的培养 ,使语文生活化、生活语文化。真正形成语文能力。
时代不一样了，有了微信，有了微信群，有人的地方有江湖，有群的地方灌迷糊。近期，如春笋一般涌出的“夸夸群”，可真有点让人犯迷糊。中国文化里，从来不缺夸，缺的是对夸的研究和总结。回
2017年11月,国务院发布《关于深化“互联网+先进制造业”发展工业互联网的指导意见》,其中提到要促进我国工业互联网的发展,必须积极推动“互联网+”与工业企业深度融合,在“
萨特在《存在与虚无》中呼喊：“我是孤独痛苦的人!”尼采也在《查拉斯图特拉如是说》中抱怨：“孤独像巨鲸吞噬着我的精神。”在世人眼里。这些大师们似乎一生都生活在痛苦中，而
文章依照生态文明知识、价值观、意识、行为四个方面的基本逻辑展开调查,认为当前大学生生态文明知识整体水平不高,生态价值观具有一定的理性判断,生态文明意识较强但比较肤
测定了百香果的加工适性,并针对百香果汁加工企业现有工艺出汁率较低、果渣中果肉成分含量较高的生产实际,研究酶法二次浸提技术,以提高百香果出汁率。结果表明:百香果是一种
中国改革开放以来出现的多元化发展,是社会发展的必然。不经过这样一个发展阶段,我们对当代资本主义和社会主义的认识还达不到现在的深度和高度。