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

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