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

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

首页> 中文期刊>计算机研究与发展 >一种形式化的强制存取控制模型的研究与实现

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机研究与发展》|2006年第z3期|284-288|共5页
作者
马新强; 王保华; 李丹宁; 李丹; 章衡; 黄羿;
展开▼
作者单位

贵州大学信息工程学院,贵阳,550003;

贵州大学信息工程学院,贵阳,550003;

贵州科学院,贵阳,550001;

贵州科学院,贵阳,550001;

贵州大学信息工程学院,贵阳,550003;

贵州大学信息工程学院,贵阳,550003;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
自主访问控制; 强制访问控制; 标签安全; LogicSQL标签;

相似文献

中文文献
外文文献
专利

1. 基于扩展BLP模型的强制存取控制的研究与实现 [J] . 王琨 ,孙超 ,文峰 . 沈阳理工大学学报 . 2006,第002期
2. LogicSQL数据库的强制存取控制模型研究与实现 [J] . 马新强 ,王保华 ,李丹宁 . 计算机研究与发展 . 2006,第0z2期
3. 一种用于UNIX文件系统的强制存取控制机制 [J] . 金茂顺 ,张凡 . 抗恶劣环境计算机 . 1993,第005期
4. B1级数据库管理系统强制存取控制模型研究 [J] . 袁晓东 ,冯颖 . 计算机学报 . 2000,第010期
5. 一种基于扩展角色的面向对象的存取控制模型 [J] . 李红卫 ,王小明 . 微电子学与计算机 . 2006,第12期
6. 一种形式化的强制存取控制模型的研究与实现 [C] . 马新强 ,王保华 ,李丹宁 . 第二十三届中国数据库学术会议（NDBC2006） . 2006
7. 基于模型的实时系统形式化验证方法研究与实现 [A] . 冯博洋 . 2016

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

摘要

著录项

相似文献

相关主题

期刊订阅