Title: | 主体当前敏感标记动态确定方案研究 |
Alternative Title: | on scheme for dynamic determination of subjects current sensitivity label
|
Author: | 石文昌
; 梁洪亮
; 孙玉芳
|
Keyword: | 计算机安全
; 安全操作系统
; 安全模型
; 敏感标记
; 主体
; 敏感标记
; 方案研究
; 限定条件
; 模型
; 基础构造
; 安全操作系统
; 多级安全性
; 证明
; 描述
; 客体
; 构成Computer operating systems
; Labels
; Mathematical models
; Sensitivity analysis
|
Source: | 电子学报
|
Issued Date: | 2001
|
Volume: | 29, Issue:8, Pages:1046-1049 | Indexed Type: | wanfang
; ei
|
Department: | 中国科学院软件研究所,;中国科学院软件研究所,;中科红旗软件技术有限公司,
|
Abstract: | Bell&LaPadula (BLP)模型是实现安全操作系统多级安全性(MLS)的基础,根据主体当前敏感标记对主体访问客体的请求作判断是BLP模型的关键.本文讨论一个动态确定主体当前敏感标记的方案,首先,作为进一步探讨的基础,对BLP模型进行简要描述,接着,以BLP模型为基础构造所讨论的方案,最后,给出构成完整方案的限定条件,并证明该限定条件的必要性和正确性. |
Language: | 中文
|
Content Type: | 期刊论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/13440
|
Appears in Collections: | 软件所图书馆_期刊论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
主体当前敏感标记动态确定方案研究.pdf(222KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
石文昌,梁洪亮,孙玉芳. 主体当前敏感标记动态确定方案研究[J]. 电子学报,2001-01-01,29(8):1046-1049.
|
|
|