| 一种BLP模型的量化分析方法 |
| |
| 引用本文： | 胡俊,沈昌祥,张兴.一种BLP模型的量化分析方法[J].小型微型计算机系统,2009,30(8). |
| |
| 作者姓名： | 胡俊 沈昌祥 张兴 |
| |
| 作者单位： | 1. 中国科学院,研究生院,信息安全国家重点实验室,北京,100039;中国科学院,电子学研究所,北京,100084
2. 北京工业大学,计算机学院,北京,100022 |
| |
| 基金项目： | 国家"八六三"高技术研究发展计划基金项目，国家"九七三"重点基础研究发展规划基金项目，北京市科技计划项目 |
| |
| 摘 要： | BLP模型是最为经典的强制访问控制模型,它基于一个信息流策略,通过允许低安全级别到高安全级别的单向信息流动,来实现多级的强制访问控制.但对实际中普遍存在的高安全级别到低安全级别的下向信息流动,BLP模型并没有给出理论解决方法.本文对BLP模型提出一种量化的分析方法以分析下向信息流动的安全性.这一方法基于Shannon信息论中条件熵的概念,提出用安全门限来度量信息安全的方法.特别地,这一分析方法给出了下向信息流安全的条件,并证明了该条件下系统仍保持其保密性.
|
| 关 键 词： | BLP模型 下向信息流 条件信息熵 安全门限 |
Quantitative Analysis Method to BLP Model |
| |
| HU Jun,SHEN Chang-xiang,ZHANG Xing.Quantitative Analysis Method to BLP Model[J].Mini-micro Systems,2009,30(8). |
| |
| Authors: | HU Jun SHEN Chang-xiang ZHANG Xing |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
