10.3969/j.issn.1671-7775.2004.01.018
BLP安全模型及其发展
经典的BLP模型是在计算机安全系统中实现多级安全性支持的基础,被视作基本安全公理.BLP模型采用"强制存取控制"和"自主存取控制"来实现其安全性.总结了BLP模型的"公理化描述"、"有限状态机模型描述"和"信息流的格模型描述"三种不同描述方法,分析了其BLP模型目前存在的安全缺陷主要是:安全级定义的不完备性、信息完整性缺陷、时域安全性缺陷和隐通道.在对BLP模型的改进中,影响较大的主要有BLDM与MBLP两种模型.
安全模型、安全策略、BLP
25
TP393.08(计算技术、计算机技术)
国家自然科学基金60373069;江苏省自然科学基金BK200204
2004-03-12(万方平台首次上网日期,不代表论文的发表时间)
共5页
68-72