Institutional Repository
| 经典BLP安全公理的一种适应性标记实施方法及其正确性 | |
| Alternative Title | an adaptable labeling enforcement approach and its correctness for the classical blp security axioms |
| 石文昌; 孙玉芳; 梁洪亮 | |
| 2001 | |
| Source | 计算机研究与发展
 |
| ISSN | 1000-1239 |
| Volume | 38Issue:11Pages:1366-1372 |
| English Abstract | 经典的Bell & LaPadula(BLP)模型是在计算机安全系统中实现多级安全性(MLS)支持的基础,被视作基本安全公理.结合以Linux为基础的一个安全操作系统(RS-Linux)的开发,讨论抽象的BLP安全公理在安全操作系统实现中的实际意义.从理论上构造BLP公理的一种新的实施方法(ABLP方法),并给出该方法的正确性证明.ABLP方法主要由3条访问控制规则构成,其特点是允许主体的当前敏感标记进行适应性调整,它以常规实施方法为基础,克服了常规实施方法在标记指派方面的不足,为安全判定增加了灵活性. |
| Indexed Type | wanfang |
| Keyword | Bell & Lapadula,计算机安全,模型,公理,Linux,实现 经典 安全操作系统 适应性 记实 实施方法 基础 访问控制规则 正确性证明 多级安全性 判定增加 敏感标记 基本安全 安全系统 灵活性 计算机 模型 理论 开发 构造 构成 |
| Department | 中国科学院软件研究所,北京,100080;北京中科红旗软件技术有限公司,北京,100086;中国科学院软件研究所,北京,100080;北京中科红旗软件技术有限公司,北京,100086;中国科学院软件研究所,北京,100080;北京中科红旗软件技术有限公司,北京,100086 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/13476 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 石文昌,孙玉芳,梁洪亮. 经典BLP安全公理的一种适应性标记实施方法及其正确性[J]. 计算机研究与发展,2001,38(11):1366-1372. |
| APA | 石文昌,孙玉芳,&梁洪亮.(2001).经典BLP安全公理的一种适应性标记实施方法及其正确性.计算机研究与发展,38(11),1366-1372. |
| MLA | 石文昌,et al."经典BLP安全公理的一种适应性标记实施方法及其正确性".计算机研究与发展 38.11(2001):1366-1372. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 经典BLP安全公理的一种适应性标记实施方（379KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment