安全操作系统中制定安全策略的研究

• 作者: 沈昌祥 蔡谊
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: BLP模型 强制访问控制 安全操作系统 安全策略
• 年，卷（期）: 2002,（11）
• 页码范围: 8-11
• 页数: 4页
• 分类号: TP31
• 字数: 5750字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2002.11.004

摘要

本文在对Bell-La Padula模型进行深入分析的基础上,提出了在某些Linux和UNIX安全操作系统设计中对Bell-LaPadula模型的一种错误理解,并结合实际生活中的安全操作对模型进行分析,并给出了模型的形式化操作规则和保密性证明,表明该模型完全符合保密性要求,从而纠正了安全策略的错误制订,避免造成系统的失泄密.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蔡谊		12	225	6.0	12.0
2	沈昌祥		85	1836	20.0	41.0