摘要
操作系统是计算机系统平台的核心和基础,从操作系统安全策略和安全模型的角度,分析了中国墙模型和Bell-La-padula(BLP)模型之间的区别与联系。为使操作系统有效地支持多种安全策略,设计了用中国墙模型非形式化地模拟实现BLP模型的过程,为操作系统对灵活安全策略的支持提供了例证。
Operation system is the kernel and basis of computer system platform.From the point view of operating system security policy and security model,analysed the difference and connection between Chinese wall model and the Bell-Lapadula（BLP） model.Process of utilizing CW model to simulate the Bell-Lapadula model in non-formal proof method is given,so as to support a variety and flexible of security polices realization for operation system.
出处
《工业控制计算机》
2012年第2期80-81,共2页
Industrial Control Computer
关键词
操作系统
安全
模型
策略
模拟
operation system
security
model
security policy
simulate
