经典BLP安全公理的一种适应性标记实施方法及其正确性
文献类型：期刊论文
| 作者 | 石文昌 ; 孙玉芳 ; 梁洪亮 |
| 刊名 | 计算机研究与发展
 |
| 出版日期 | 2001 |
| 卷号 | 38期号:11页码:1366-1372 |
| 关键词 | Bell & LaPadula,计算机安全,模型,公理,Linux,实现 经典 安全操作系统 适应性 记实 实施方法 基础 访问控制规则 正确性证明 多级安全性 判定增加 敏感标记 基本安全 安全系统 灵活性 计算机 模型 理论 开发 构造 构成 |
| ISSN号 | 1000-1239 |
| 其他题名 | an adaptable labeling enforcement approach and its correctness for the classical blp security axioms |
| 中文摘要 | 经典的Bell & LaPadula(BLP)模型是在计算机安全系统中实现多级安全性(MLS)支持的基础,被视作基本安全公理.结合以Linux为基础的一个安全操作系统(RS-Linux)的开发,讨论抽象的BLP安全公理在安全操作系统实现中的实际意义.从理论上构造BLP公理的一种新的实施方法(ABLP方法),并给出该方法的正确性证明.ABLP方法主要由3条访问控制规则构成,其特点是允许主体的当前敏感标记进行适应性调整,它以常规实施方法为基础,克服了常规实施方法在标记指派方面的不足,为安全判定增加了灵活性. |
| 收录类别 | wanfang |
| 语种 | 中文 |
| 公开日期 | 2011-07-29 |
| 源URL | [http://124.16.136.157/handle/311060/13476]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。