检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]重庆文理学院计算机学院,重庆402160 [2]贵州科学院,贵阳550002
出 处:《计算机工程》2009年第21期171-173,共3页Computer Engineering
基 金:国家自然科学基金资助项目(90718009);贵州省高新技术发展及产业化基金资助项目(黔科合成字[2008]5014号);重庆文理学院校内科研基金资助项目(Z2008SJ15;Y2007SJ43)
摘 要:为在实现多级安全系统过程中有效兼顾BLP模型与Biba模型,分析安全模型敏感标记集合在数学上形成的格理论,提出一种能够有效融合这些模型的敏感标记格安全理论模型,以同时标识信息机密性与完整性,通过构建新的敏感标记格理论模型,为信息安全模型研究提供一定的理论依据。In order to give attention to BLP model and Biba model in process of implementing multi-level security system, the lattice theory shaped in math of security model sensitivity labels sets is analyzed. A security theoretical model of sensitivity labels lattice is proposed, which can fuse these two models. The information confidentiality and integrity are labeled. By setting up new sensitivity labels lattice theoretical models, the theory basis is provided to information security research.
关 键 词:安全模型 格 敏感标记 BLP模型 BIBA模型
分 类 号:TP311.5[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222