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

Research and Implementation of a Formalized Method Based on Mandatory Access Control Model

作　　者：马新强[1] 王保华[1] 李丹宁[1] 李丹[1] 章衡[1] 黄羿[1] 

机构地区：[1]贵州大学信息工程学院,贵阳,550003 贵州大学信息工程学院,贵阳,550003 贵州科学院,贵阳,550001 贵州科学院,贵阳,550001 贵州大学信息工程学院,贵阳,550003 贵州大学信息工程学院,贵阳,550003

出　　处：《计算机研究与发展》2006年第z3期284-288,共5页Journal of Computer Research and Development

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

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

关 键 词：自主访问控制 强制访问控制 标签安全 LogicSQL标签 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]