| 题名: | 经典BLP安全公理的一种适应性标记实施方法及其正确性 |
| 其他题名: | an adaptable labeling enforcement approach and its correctness for the classical blp security axioms
|
| 作者: | 石文昌
; 孙玉芳
; 梁洪亮
|
| 关键词: | Bell & LaPadula,计算机安全,模型,公理,Linux,实现
; 经典
; 安全操作系统
; 适应性
; 记实
; 实施方法
; 基础
; 访问控制规则
; 正确性证明
; 多级安全性
; 判定增加
; 敏感标记
; 基本安全
; 安全系统
; 灵活性
; 计算机
; 模型
; 理论
; 开发
; 构造
; 构成
|
| 刊名: | 计算机研究与发展
|
| 发表日期: | 2001
|
| 卷: | 38, 期:11, 页:1366-1372 | | 收录类别: | wanfang
|
| 部门归属: | 中国科学院软件研究所,北京,100080;北京中科红旗软件技术有限公司,北京,100086;中国科学院软件研究所,北京,100080;北京中科红旗软件技术有限公司,北京,100086;中国科学院软件研究所,北京,100080;北京中科红旗软件技术有限公司,北京,100086
|
| 摘要: | 经典的Bell & LaPadula(BLP)模型是在计算机安全系统中实现多级安全性(MLS)支持的基础,被视作基本安全公理.结合以Linux为基础的一个安全操作系统(RS-Linux)的开发,讨论抽象的BLP安全公理在安全操作系统实现中的实际意义.从理论上构造BLP公理的一种新的实施方法(ABLP方法),并给出该方法的正确性证明.ABLP方法主要由3条访问控制规则构成,其特点是允许主体的当前敏感标记进行适应性调整,它以常规实施方法为基础,克服了常规实施方法在标记指派方面的不足,为安全判定增加了灵活性. |
| 语种: | 中文
|
| 内容类型: | 期刊论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/13476
|
| Appears in Collections: | 软件所图书馆_期刊论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| 经典BLP安全公理的一种适应性标记实施方法及其正确性.pdf（379KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
石文昌,孙玉芳,梁洪亮. 经典BLP安全公理的一种适应性标记实施方法及其正确性[J]. 计算机研究与发展,2001-01-01,38(11):1366-1372.
|
|
|
