论文部分内容阅读
提出一个基于逻辑程序和基于角色访问控制并且具有柔性授权、逻辑形式化和策略集成特点的柔性授权框架。研究了如何使用逻辑程序强大的表达能力确定现实中复杂的安全需求,平衡柔性访问控制规范的表达性、简单性和有效性,处理柔性访问控制中的冲突,利用常识推理刻画柔性特征,以及集成已有授权理论的优点。
基于逻辑程序的柔性授权框架
【摘 要】
：
提出一个基于逻辑程序和基于角色访问控制并且具有柔性授权、逻辑形式化和策略集成特点的柔性授权框架。研究了如何使用逻辑程序强大的表达能力确定现实中复杂的安全需求,平
【机 构】
：
贵州民族学院,贵州贵阳550025西南大学计算机与信息科学学院,重庆400715
【出 处】
：
第二届中国计算机网络与信息安全学术会议
【发表日期】
：
2009年10期
其他文献
背景与目的：结肠癌是常见多发的恶性肿瘤之一,在全球男性、女性常见的恶性肿瘤中分别排第四位和第三位。在我国,结肠癌的发病率居全部恶性肿瘤的第四位。目前结肠癌的治疗以手
白血病是严重危害人类健康的疾病,且由于环境等恶化,白血病的发病呈上升趋势。越来越多的研究者都开始关注白血病的发生机制,试图通过探索白血病的发病机制找到白血病治疗的
随着时代的发展,中职教学中的计算机应用基础教学逐渐变得越来越重要。所以,该如何提高计算机应用教学的教学质量,让学生能够把学到的知识应用实践,逐渐开始成为所有中职院校
目的体内外分别检测NANOG基因在不同病理级别胶质瘤组织和U87胶质瘤细胞系中的表达,探讨NANOG基因在胶质瘤生物学行为中的作用,并构建NANOG慢病毒RNAi载体,为后续进一步体内
《共产党宣言》作为马克思主义诞生的标志性著作,具有划时代的历史意义。《共产党宣言》的问世体现了马克思、恩格斯宽广的人文情怀,凝结了革命性、实践性、发展性、前瞻性的
目的观察通心络胶囊对糖尿病心肌病的治疗效果及其对左心室射血分数(LVEF)、氧化应激、炎性因子的影响。方法收集2011年2月—2013年2月黄石市中心医院老年病科诊治的糖尿病心
本文报告了１６４例各型肝炎患者胃肠电图检查情况，肠电图异常数极少，胃电周异常极为普遍，各型肝炎间无显著差异，说明肝病活动期间的胃动力障碍性消化不良，在急性肝炎与临床症状密切相关
<正>一、广西地质构造概况 自古生代以来,加里东运动,印支运动和喜山运动在本区均有表现。其中加里东运动使早古生代沉积岩(寒武、奥陶系地层)浅变质,并形成紧闭的全型褶皱,
<正> 江西省是我国东南部资源丰富、经济相对落后的省份。近几年来,经济虽有较大发展,但与先进省份相比,差距仍然很大,并且还有继续扩大的趋势。造成这种情况有多方面的原因,
以Worldview影像中的植被为研究对象,提出了一种利用简单特征进行自动化提取植被的方法。以影像原有的11bit辐射信息,根据归一化植被指数自动遴选出数量适中的样本点,根据样