共 3 条
[1]
基于BLP模型的Torjan Horse类侵入机制的研究.[J].张欣;王玮;于海勋.电光与控制.1997, 01
[2]
[3]
安全操作系统中制定安全策略的研究
被引：7
作者：
蔡谊
沈昌祥
机构：
[1] 海军计算技术研究所,海军计算技术研究所北京,北京
来源：
关键词：
BLP模型;
强制访问控制;
安全操作系统;
安全策略;
D O I：
暂无
中图分类号：
TP316 [操作系统];
学科分类号：
081205 [计算机软件];
摘要：
本文在对Bell-La Padula模型进行深入分析的基础上,提出了在某些Linux和UNIX安全操作系统设计中对Bell-LaPadula模型的一种错误理解,并结合实际生活中的安全操作对模型进行分析,并给出了模型的形式化操作规则和保密性证明,表明该模型完全符合保密性要求,从而纠正了安全策略的错误制订,避免造成系统的失泄密。
引用
收藏
页码：8 / 11
页数：4
相关论文