文献类型：期刊文章

作　　者：石文昌[1,2] 孙玉芳[1,2] 梁洪亮[1,2]

机构地区：[1]中国科学院软件研究所,北京100080 [2]北京中科红旗软件技术有限公司,北京100086

出　　处：《计算机研究与发展》

基　　金：国家自然科学基金项目 ( 60 0 730 2 2 );国家"八六三"高技术研究发展计划项目 ( 863-30 6-ZD12-14 -2 );中国科学院知识创新工程项目 ( KGCX1-0 9)资助

年　　份：2001

卷　　号：38

期　　号：11

起止页码：1366-1372

语　　种：中文

收录情况：AJ、BDHX、BDHX2000、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：经典的 Bell & L a Padula( BL P)模型是在计算机安全系统中实现多级安全性 ( ML S)支持的基础 ,被视作基本安全公理 .结合以 L inux为基础的一个安全操作系统 ( RS- L inux)的开发 ,讨论抽象的 BL P安全公理在安全操作系统实现中的实际意义 .从理论上构造 BL P公理的一种新的实施方法 ( ABL P方法 ) ,并给出该方法的正确性证明 .ABL P方法主要由 3条访问控制规则构成 ,其特点是允许主体的当前敏感标记进行适应性调整 ,它以常规实施方法为基础 ,克服了常规实施方法在标记指派方面的不足 ,为安全判定增加了灵活性 .

关 键 词：计算机安全 LINUX 适应性标记  BLP安全公理  操作系统

分 类 号：TP309] TP316.81[计算机类]