一种BLP模型的量化分析方法
BLP模型是最为经典的强制访问控制模型,它基于一个信息流策略,通过允许低安全级别到高安全级别的单向信息流动,来实现多级的强制访问控制.但对实际中普遍存在的高安全级别到低安全级别的下向信息流动,BLP模型并没有给出理论解决方法.本文对BLP模型提出一种量化的分析方法以分析下向信息流动的安全性.这一方法基于Shannon信息论中条件熵的概念,提出用安全门限来度量信息安全的方法.特别地,这一分析方法给出了下向信息流安全的条件,并证明了该条件下系统仍保持其保密性.
BLP模型、下向信息流、条件信息熵、安全门限
30
TP311(计算技术、计算机技术)
国家"八六三"高技术研究发展计划基金项目2006AA01Z440;国家"九七三"重点基础研究发展规划基金项目2007CB311100,2007CB307101;北京市科技计划项目Z07000100720706
2009-10-12(万方平台首次上网日期,不代表论文的发表时间)
共6页
1605-1610