【摘 要】
：
基于属性的访问控制（ABAC）是面向Web Service应用的一种新的访问控制方法。而访问控制策略合成则是确定分布式聚合资源访问控制策略的关键。为了规范策略合成和保障策略合成正
论文部分内容阅读
基于属性的访问控制（ABAC）是面向Web Service应用的一种新的访问控制方法。而访问控制策略合成则是确定分布式聚合资源访问控制策略的关键。为了规范策略合成和保障策略合成正确性,基于属性刻画了实体间的授权关系,通过属性值的计算结构扩展了现有的策略合成形式化框架,建立了新的基于属性的策略合成代数模型。用代数表达式形式化地描述聚合资源的访问控制策略,说明可借助策略表达式的代数性质去验证策略合成结果是否符合各方对聚合资源的保护性需求,为聚合资源的访问控制策略评估和应用提供基础。
其他文献
【正】 民事案件执行难,许多案件审结后执行不了,致使调解成了“空调”,判决成了“白判”。这不仅严重侵害了当事人的合法权益,也损害了人民法院的严肃执法的形象。 1991年4
【正】 来信我申请建房,在领取建房许可证和宅基地使用证后遂破土动工。但动工不久,乡政府认为我是采取欺欺骗手段骗取宅基地建房的,派人送来一份以乡党委名义作出的处罚决定
简单介绍了PacketTracer软件的功能；重点讲述了单臂路由的概念和使用PacketTracer配置单臂路由的详细过程及验证情况；展示了PacketTracer软件在教学过程中所起到的积极作用。
【正】 来信我的曾祖父在临海镇街道有房屋两间,1973年曾祖父去世后,该房被我父亲和叔叔等人拆除。1985年,邓某在此空宅基地上建造临时建筑开饼店做买卖至今。现我想在街道做
【正】 建立科学的适合我国国情的经济法规体系,要以社会主义初级阶段的基本路线为基本指导思想,把是否有利于社会主义商品经济的运行和生产力的发展作为衡量判别经济法规体
新建直流炉机组在启动运行初期由于杂质多,凝结水含铁量高,导致高速混床不能尽快投入,而粉末过滤器能快速解决相关问题。
改革使企业获得新生。今年以来,我县在国有集体企业,特别是在长期亏损、扭亏无望,甚至资不低债的企业积极推行了以产权出售为主要形式的产权制度改革,到目前止,全县已有四家
桐柏山南坡广泛出露的前寒武纪3个变质地体中,发育了多期脆-韧性逆冲推覆构造。本文详述了它们的几何学、岩石变形特点和运动学特征,并讨论了它们在桐柏造山带自古元古代晚期
探讨针织布面横档产生的原因及控制措施。阐述了横档疵点的分类,并从纺纱原料、纺纱、织造、印染等方面分析了针织横档产生的原因,并进一步提出了具体的控制方法。指出:横档
襄樊岘山垭地区膨胀土滑坡是影响公路交通的重大地质病害 .曾投入了大量资金进行整治均没有收到良好效果 .在探明岘山垭膨胀土滑坡的一些重要性质基础上 ,利用X射线衍射仪 (XRD)、X射线荧光光谱 (XRF)分析仪和扫描电子显微镜 (SEM) ,综合常规物理力学实验 ,对滑坡膨胀土物理性质、微观结构进行了深入研究 .以此为基础 ,探讨了该区膨胀土一些特性在滑坡形成演化中的作用 ,进一步阐明了该滑坡的形