| Biba改进模型在安全操作系统中的应用 |
| |
| 引用本文： | 郭荣春,刘文清,徐宁,李继云. Biba改进模型在安全操作系统中的应用[J]. 计算机工程, 2012, 38(13): 96-98 |
| |
| 作者姓名： | 郭荣春 刘文清 徐宁 李继云 |
| |
| 作者单位： | 1. 东华大学计算机科学与技术学院,上海,201620
2. 中标软件有限公司,上海,200030 |
| |
| 基金项目： | 国家自然科学基金资助项目，“核高基”重大专项，2010ZX01036-001-001) |
| |
| 摘 要： | 经典Biba模型的严格完整性策略在应用中未考虑主客体操作的复杂性，且信息向操作系统安全子系统(SSOOS)范围外传输时存在完整性问题。针对上述问题，根据GB/T 20272-2006中结构化保护级标准对安全操作系统完整性的要求，在主客体完整性的灵活性、操作复杂性、SSOOS之外完整性标签等方面对Biba模型进行改进。理论分析结果证明，该模型在确保经典Biba模型完整性的基础上，大幅提升了系统的可用性。
|
| 关 键 词： | Biba模型 安全操作系统 完整性模型 结构化保护级 完整性策略 |
| 收稿时间： | 2011-09-01 |
Application of Improved Biba Model in Security Operating System |
| |
| GUO Rong-chun , LIU Wen-qing , XU Ning , LI Ji-yun. Application of Improved Biba Model in Security Operating System[J]. Computer Engineering, 2012, 38(13): 96-98 |
| |
| Authors: | GUO Rong-chun LIU Wen-qing XU Ning LI Ji-yun |
| |
| Affiliation: | 1(1.College of Computer Science and Technology,Donghua University,Shanghai 201620,China;2.China Standard Software Co.,Ltd.,Shanghai 200030,China) |
| |
| Abstract: | The strict integrity strategy of classical Biba model does not consider the problem of complexity in application of host-guest and the problem of the integrity of the label when the information transmits to outside of Security Subsystem of Operating System(SSOOS).According to GB/T 20272-2006 specification for safety operating system,this paper improves classical Biba model in the flexibility in integrity of host-guest,operation complexity and the integrity of the label beside SSOOS.Theory analysis result shows that improved Biba model enhances system usability on basis of guaranteeing integrity of Biba model. |
| |
| Keywords: | Biba model security operating system integrity model structural protection level integrity policy |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载免费的PDF全文 |
