一种BLP模型的量化分析方法  

Quantitative Analysis Method to BLP Model

作　　者：胡俊[1,2] 沈昌祥[3] 张兴[3] 

机构地区：[1]中国科学院研究生院信息安全国家重点实验室,北京100039 [2]中国科学院电子学研究所,北京100084 [3]北京工业大学计算机学院,北京100022

出　　处：《小型微型计算机系统》2009年第8期1605-1610,共6页Journal of Chinese Computer Systems

基　　金：国家"八六三"高技术研究发展计划基金项目(2006AA01Z440)资助;国家"九七三"重点基础研究发展规划基金项目(2007CB311100;2007CB307101)资助;北京市科技计划项目(Z07000100720706)资助

摘　　要：BLP模型是最为经典的强制访问控制模型,它基于一个信息流策略,通过允许低安全级别到高安全级别的单向信息流动,来实现多级的强制访问控制.但对实际中普遍存在的高安全级别到低安全级别的下向信息流动,BLP模型并没有给出理论解决方法.本文对BLP模型提出一种量化的分析方法以分析下向信息流动的安全性.这一方法基于Shannon信息论中条件熵的概念,提出用安全门限来度量信息安全的方法.特别地,这一分析方法给出了下向信息流安全的条件,并证明了该条件下系统仍保持其保密性.BLP model is the most classical model in mandatory access control, it is based on a multi-level information flow policy to implement access control. However, the information flow policy of BLP model does not support downward information flow from high security level to low security level. This paper proposed an analysis method based on the conditional entropy which gives quantitative analysis to the security of BLP model. With this analysis method, we can define the confidentiality of an information system with secure thresholds defined by confidential information and its conditional entropy. We proved that under certain condition, a downward information flow won＇t let the system be not secure.

关 键 词：BLP模型 下向信息流 条件信息熵 安全门限 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]