| 安全操作系统中制定安全策略的研究 |
| |
| 引用本文： | 蔡谊,沈昌祥.安全操作系统中制定安全策略的研究[J].计算机应用与软件,2002,19(11):8-11. |
| |
| 作者姓名： | 蔡谊 沈昌祥 |
| |
| 作者单位： | 海军计算技术研究所,北京,100841 |
| |
| 基金项目： | 国家重点基础研究发展规划项目(G1999035801)的资助 |
| |
| 摘 要： | 本文在对Bell-LaPadula模型进行深入分析的基础上，提出了在某些Linux和UNIX安全操作系统设计中对Bell-LaPadula模型的一种错误理解，并结合实际生活中的安全操作对模型进行分析，并给出了模型的形式化操作规则和保密性证明，表明该模型完全符合保密性要求，从而纠正了安全策略的错误制订，避免造成系统的失泄密。
|
| 关 键 词： | 安全策略 安全操作系统 BLP模型 强制访问控制 |
DESIGNING THE SECURITY POLICY IN OPERATING SYSTEMS |
| |
| Cai Yi Shen Changxiang.DESIGNING THE SECURITY POLICY IN OPERATING SYSTEMS[J].Computer Applications and Software,2002,19(11):8-11. |
| |
| Authors: | Cai Yi Shen Changxiang |
| |
| Abstract: | Based on a thorough analysis of BLP model, the paper points out that there is an incorrect understanding on BLP model in designing the security of Linux and UNIX operating systems. We analyze the model integrated with secure operations in real life.Then we give the formal operation rules of the model and verify its confidentiality. Our work proves that this BLP model accords well with the requirement of confidentiality. So correction on the security policy is made to avoid consequently the disclosure. |
| |
| Keywords: | BLP model Mandatory access control Security operating system Security policy |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
