一种形式化的强制存取控制模型的研究与实现

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户：RyanDay

【摘要】

：

针对数据库管理系统DBMS中的自主访问控制模型存在的安全缺陷,提出了一种形式化的强制存取控制模型,该模型对元组级安全标记、标签安全进行了探讨;把安全级分为分层密级和非

【作者】

：

马新强王保华李丹宁李丹章衡黄羿

【机构】

：

贵州大学信息工程学院

【出处】

：

计算机研究与发展

【发表日期】

：

2006年z3期

【关键词】

：

自主访问控制强制访问控制标签安全 LogicSQL标签

【基金项目】

：

贵州省优秀科技教育人才省长专项基金项目(黔省专合字(2005)88号)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

针对数据库管理系统DBMS中的自主访问控制模型存在的安全缺陷,提出了一种形式化的强制存取控制模型,该模型对元组级安全标记、标签安全进行了探讨;把安全级分为分层密级和非分层范围组成的二元组与安全标签,达到元组级标签安全.鉴于强制存取控制模型在高安全数据库系统中的重要作用,在自行开发的具有自主版权的数据库管理系统LogicSQL上实现了该模型,使其至少达到B1级别安全.

其他文献

铁路兽医工作历史与现状的思考

铁路兽医是我国最早从事动物及其产品检疫工作的兽医队伍之一，具有悠久历史和辉煌成绩。追溯其发展历程，早在东北解放初期的1948年，随着东北铁路管理总局的成立，就在总局下设的医

期刊

铁路管理兽医工作历史专业技术队伍检疫工作兽医卫生兽医队伍管理机构

稳健的t—MFA模型的极大似然估计

混合因子分析模型是一种非线性的分析高维数据的工具.但是,当一组观测数据中包含比正态尾部长的一些数据点时,其模型的拟合效果受到严重影响.为此,结合稳健的多元t分布提出基

期刊

混合模型多元T分布AECM算法因子分析mixture model multivariate t distribution. AECM algorith

锋面气旋及其天气的分步判读法

地面气旋一般和锋面联系在一起,称锋面气旋,其天气图的判读是教学中的重点和难点,此图隐含的能力点是:(1)在气旋中判断锋面所在的位置,即锋面位于低压区(气旋)的低压槽(等压

期刊

锋面气旋锋面判读暖气团天气图风向等压线移动方向教学中读法

一种改进的区域自动机构造方法

用时间自动机验证一个有穷状态实时系统的正确性,可归结为判定两个时间正则语言的包含问题,亦可归结为判定两个时间正则语言的交是否为空的问题.在判定一个时间正则语言是否

期刊

时间转换表时间自动机区域自动机时间后继区域可达timed transaction table timed automaton region aut

新疆图木舒克地区血红扇头蜱的鉴定

蜱既是常见的吸血体外寄生虫，又是人和动物许多重要疾病的传播媒介。本试验对图木舒克地区采集到的寄生于羊体表的蜱进行形态特征的观察和分析，确认该种蜱为硬蜱属血红扇头蜱。

期刊

蜱形态特征血红扇头蜱图木舒克Ticks morphological characteristics Rhipicephalus sanguineus

基于水平集的3D动画

将水平集方法引入 3D动画中 ,提出了一种新的动画方法 .用一形变模型表示物体的表面 ,由模型的变形来实现动画 ,为了使模型能自适应改变其拓扑结构 ,将模型的进化问题转化为函数的水平集进化问题 .同时采用了一种新颖的速度延伸方法来实现水平集进化以提高建模精度 ;为了加快建模的速度 ,结合狭窄区域技术和多分辨率方法 ,提出了基于水平集方法的 3D动画快速算法 .实验结果表明该方法能用于复杂拓扑结构的

期刊

形变模型水平集狭窄区域技术多分辨率方法3D动画计算机动画deformable models level sets animation spee

一种形式化的强制存取控制模型的研究与实现

其他学术论文