【摘 要】
：
安全互操作是实现跨管理域的资源共享与保护的关键技术．Kapadia等人的IRBAC2000模型提供了一种灵活的通过角色关联和动态角色转换实现安全互操作的方法．廖俊国等人指出该模型可
【机 构】
：
中国科学院软件研究所信息安全国家重点实验室
论文部分内容阅读
安全互操作是实现跨管理域的资源共享与保护的关键技术．Kapadia等人的IRBAC2000模型提供了一种灵活的通过角色关联和动态角色转换实现安全互操作的方法．廖俊国等人指出该模型可能违反静态互斥角色约束，对问题的原因进行了分析，提出了约束违反检测算法和添加角色关联的先决条件．首先指出廖俊国等人关于约束违反原因的分析是片面的，其检测算法和先决条件也不能保证系统不会违反约束；然后指出在给定角色关联的前提下，外域的用户／角色分配是造成约束违反的根本原因；进而提出动态角色转换违反静态互斥角色约束的充要条件和约束违
其他文献
[目的]探讨以Omaha系统为基础的个案管理模式对舌癌游离皮瓣修复病人的影响。[方法]将2015年1月—2016年6月在湖南省肿瘤医院头颈外科住院的148例舌癌病人随机分为干预组和对
栽培环境条件的改变会对转基因作物产生深远影响。以2种不同转基因棉花及其亲本对照为材料,研究了盆栽种植条件下不同棉花品种在蕾期和吐絮期光合生理特性CO2响应特征。结果表明,与各自的常规棉对照比较,两种转基因抗虫棉单叶净光合速率CO2响应的特征参数表观初始羧化效率(CE)、表观暗呼吸速率(Rd)和最大净光合速率(Pmax,c)虽有一定程度的变化,但其差异均未达到显著水平。在高CO2浓度范围内(>700
在先后获得的10多项表彰和荣誉称号中,最让寿宁县鳌阳公安分局的干警们珍视的,是不久前刚获得的那面上书"人民满意的公安分局"的闪亮匾牌。去年10月,在该县人大常委会组织的
在开放动态多Agent网络环境中，不同平台下的移动Agent希望就某个领域的问题进行通信，就需要避免出现逻辑意外现象，也就是必须使描述这一领域的术语取得一致．给出一个具有协作性和
此次暴雨大风天气过程由高层的短波系统过境,中低层偏南风辐合以及冷暖不稳定所构成,是一个热对流降水向 稳定性降水转变的过程;中后期配合着较强的偏北风南下以及地面明显的
"抓典型、按程序、敢碰硬、扬法威",这是松溪县人大常委会对司法机关的典型个案监督的真实写照。今年以来,他们就对公安、检察、法院的六个典型个案进行跟踪监督,在社会上引
[目的]针对客观结构化临床考试(OSCE)在护生考核中出现的问题进行分析和探讨。[方法]便利选取226名护生对OSCE考核模式的认知及评价情况进行问卷调查,并随机选取40名护生进行
贵州省盘县以立德树人为教育的根本,以“四在学校·幸福校园”活动为抓手,全面提升学生综合素质.一是创新理念,实施教育教学改革,使教学质量得到明显提升.紧紧围绕“十有
抚育间伐是森林经营管理措施之一,是对森林生态系统的人为干扰。研究不同抚育方式、强度和频率对森林生态系统的干扰对重建、恢复森林生态系统固有功能及实现森林可持续经营管理有重要意义。以31块北京地区侧柏人工林样地对不同抚育强度后侧柏林生长、林下植被生长及林下植物多样性变化进行了研究。研究结果表明:侧柏林分经不同强度抚育后单木胸径、树高、冠幅和林分蓄积生长均增加,不同抚育强度下单木胸径、树高、冠幅生长量和
1998年9月30日,对建阳市麻沙镇80多位机关工作人员来说是个不寻常的日子。这一天,他们将永远告别熟悉的办公大楼,走向新的生活。说不清是什么滋味,但一切都是预料中的事,没有