主体当前敏感标记动态确定方案研究

石文昌; 梁洪亮; 孙玉芳

您当前的位置：

首页 >

文章列表页 >

主体当前敏感标记动态确定方案研究

论文 | 更新时间：2025-07-16

- 主体当前敏感标记动态确定方案研究
- On Scheme for Dynamic Determination of Subject's Current Sensitivity Label
- 电子学报 2001年29卷第8期页码：1046-1049
- 作者机构：
  
  1. 中国科学院软件研究所,北京,100080
  2. 中科红旗软件技术有限公司,北京,100080
- 作者简介：
- 基金信息：
  
  国家863高科技项目 (No.863-306-ZD12-14-2);国家自然科学基金项目 (No.60073022);中国科学院知识创新工程项目 (No.KGCX1-09)
- DOI：
  中图分类号： TP309TP316
- 纸质出版：2001
- 稿件说明：
移动端阅览
石文昌, 梁洪亮, 孙玉芳. 主体当前敏感标记动态确定方案研究[J]. 电子学报, 2001,29(8):1046-1049.

SHI Wen-chang, LIANG Hong-liang, SUN Yu-fang. On Scheme for Dynamic Determination of Subject's Current Sensitivity Label[J]. Acta Electronica Sinica, 2001, 29(8): 1046-1049.
石文昌, 梁洪亮, 孙玉芳. 主体当前敏感标记动态确定方案研究[J]. 电子学报, 2001,29(8):1046-1049. DOI：

SHI Wen-chang, LIANG Hong-liang, SUN Yu-fang. On Scheme for Dynamic Determination of Subject's Current Sensitivity Label[J]. Acta Electronica Sinica, 2001, 29(8): 1046-1049. DOI：

摘要

BellLaPadula (BLP)模型是实现安全操作系统多级安全性(MLS)的基础

根据主体当前敏感标记对主体访问客体的请求作判断是BLP模型的关键.本文讨论一个动态确定主体当前敏感标记的方案

首先

作为进一步探讨的基础

对BLP模型进行简要描述

接着

以BLP模型为基础构造所讨论的方案

最后

给出构成完整方案的限定条件

并证明该限定条件的必要性和正确性.

Abstract

BellLaPadula (BLP) model is the ground for the implementation of multilevel security (MLS) in secure operating systems.The key spirit of BLP model is to make decision on subject's request to access objects according to subject's current sensitivity label.This paper discusses a scheme for the dynamic determination of subject's current sensitivity label.First

as the basis of further exploration

the BLP model is briefly described.Then

the scheme in question is constructed based on the BLP model.Finally

the qualifying condition for the scheme is presented and its necessity and correctness are demonstrated.

关键词

Keywords

references

浏览量

950

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于可信状态的多级安全模型及其应用研究

基于动静态程序分析的整形漏洞检测工具

SafeBird:一种动态和透明的运行时缓冲区溢出防御工具集

一种支持动态调节的最小特权安全策略架构