Biba改进模型在安全操作系统中的应用  

Application of Improved Biba Model in Security Operating System

作　　者：郭荣春[1] 刘文清 徐宁 李继云[1] 

机构地区：[1]东华大学计算机科学与技术学院,上海201620 [2]中标软件有限公司,上海200030

出　　处：《计算机工程》2012年第13期96-98,共3页Computer Engineering

基　　金：国家自然科学基金资助项目(61072017);"核高基"重大专项(2010ZX01036-001-001)

摘　　要：经典Biba模型的严格完整性策略在应用中未考虑主客体操作的复杂性,且信息向操作系统安全子系统(SSOOS)范围外传输时存在完整性问题。针对上述问题,根据GB/T 20272-2006中结构化保护级标准对安全操作系统完整性的要求,在主客体完整性的灵活性、操作复杂性、SSOOS之外完整性标签等方面对Biba模型进行改进。理论分析结果证明,该模型在确保经典Biba模型完整性的基础上,大幅提升了系统的可用性。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.

关 键 词：BIBA模型 安全操作系统 完整性模型 结构化保护级 完整性策略 

分 类 号：TP309.2[自动化与计算机技术—计算机系统结构]