【摘 要】
：
现有的访问控制规则描述方式不易表达一类主体、客体间具有包含关系的访问控制规则.针对此问题,提出一种基于逻辑中合一思想的算法.算法首先将访问控制请求转换为逻辑提问,同
【机 构】
：
中山大学软件研究所,河南大学数据与知识工程研究所
论文部分内容阅读
现有的访问控制规则描述方式不易表达一类主体、客体间具有包含关系的访问控制规则.针对此问题,提出一种基于逻辑中合一思想的算法.算法首先将访问控制请求转换为逻辑提问,同时根据逻辑回答给出相应的访问控制请求应答；然后使用事实描述访问控制规则中的各个要素,并通过在系统运行过程中对非ground事实的变量的动态例化实现灵活的访问控制.最后,通过一个实例及分析说明了算法的有效性.
其他文献
文章提出了一种基于局部插值的光顺拟合方法,通过对给定的离散数据点进行逐段拟合,可以完整地表现出已知数据点的分布情形；还给出一种改进的光顺准则,针对不同情况确定光顺约
基于武汉国际重力潮汐基准站LCR-ET20弹簧重力仪潮汐观测资料,利用国际标准的数据预处理和分析方法,采用与GWR型超导重力仪同址观测对比方法,较系统研究了ET20仪器特征以及大
目的 探讨 6号染色体长臂上 8个肿瘤候选基因与非小细胞肺癌发生发展的关系。方法应用多重 PCR对 4 1例非小细胞肺癌中 6号染色体长臂上的 8个肿瘤候选基因的 2 0个微卫星位
用增补变量的方法建立了在人为错误下修复不如新的两相同部件并联可修复系统.通过选取空间和定义系统算子,将模型方程转化成为了抽象Cauchy问题.然后利用线性算子半群理论研
运用NCAR-LSM(Land surface model)模式对典型干旱区-沙漠站进行了独立试验(Off-line), 检验了LSM模式在典型干旱地区的性能, 并分析了典型干旱地区的陆面特征.结果表明: LS
介绍了一套矢量喷管模拟系统,用以开展航空发动机半物理模拟试验器矢量喷管的仿真和计算,并作为科研与教学的装置。该文的设计过程对类似模拟系统的机构设计、实体仿真、优化
在现代边界层理论基础上,利用湍流通量相等原理,对数值模式中有效粗糙度的计算方法,及网格区域内地表类型、大气层结稳定度和数值模式最低层高度对有效粗糙度的影响进行了研
目的 筛查中国 5地区幽门螺杆菌 (Hp)插入序列IS6 0 5、IS6 0 6的分布。方法 选取来自北京、福建、云南、沈阳、香港等地共 10 4株Hp ,用PCR及染色体打点杂交的方法筛查IS6
采用焊条电弧焊修复2FC-20分级机断裂螺旋轴,运用内镶轴套、设计塞焊孔等措施,正确选择焊接工艺参数,实施交叉对称反方向施焊,并利用钨极氩弧整形过渡区,取得了很好修复效果
根据市场经济对人才的需求,对师专物理系的学生进行职业技能训练是很有必要的,它可以提高学生的实践操作技能,培养独立分析问题和解决问题的能力,为毕业后从事相应的工作打下