10.3969/j.issn.1000-386X.2002.11.004
安全操作系统中制定安全策略的研究
本文在对Bell-La Padula模型进行深入分析的基础上,提出了在某些Linux和UNIX安全操作系统设计中对Bell-LaPadula模型的一种错误理解,并结合实际生活中的安全操作对模型进行分析,并给出了模型的形式化操作规则和保密性证明,表明该模型完全符合保密性要求,从而纠正了安全策略的错误制订,避免造成系统的失泄密.
BLP模型、强制访问控制、安全操作系统、安全策略
19
TP31(计算技术、计算机技术)
国家重点基础研究发展计划973计划C1999035801
2004-01-15（万方平台首次上网日期，不代表论文的发表时间）
共4页
8-11
