基于角色的操作系统完整性控制模型.pdfVIP

第 37卷 第 1期 计 算 机 科 学 Vo1．37No．1 2010年 1月 Computer Science Jan2010 基于角色的操作系统完整性控制模型 刘 尊 王 涛 李伟华 (西北工业大学计算机学院 西安 710072) 摘 要 完整性是操作 系统的安全 目标之一。分析了安全操作 系统的完整性保护策略，详细说明了用户职责和进程 可信度是决定系统中用户、进程和文件完整级的重要因素。提 出了一个完整性控制模型，该模型使用角色来简化对用 户完整级的管理 。分别给 出了模型的完整性公理、模型元素、系统状态的定义、系统设置方法和以及状态转换规则，并 对模型进行 了正确性证 明，最后介绍 了模型的应用实例和实现方法。 关键词 角色，完整级，完整性控制 ，安全模型，操作系统 中图法分类号 TP309 文献标识码 A RoleBasedIntegrityControlM odelforOperatingSystem LIU Zun WANG Tao LIW ei—hua (SchoolofComputer，NorthwesternPolytechnicalUniversity，Xi’an710072，China) Abstract Integrityisoneofthesecurityobjectivesofoperatingsystem．Thispaperanalysedtheintegrityprotection policiesofsecurityoperating system ，andelaborateduserresponsibilityandprocessreliabilityareimportantfactorsin determiningtheintegrityleveloftheusers，theprocessesandthefriesinoperatingsystem．Thenweproposedaninteg— ritycontrolmodelwithdetaileddescriptionofitsintegrityaxiom ，modelelements，system states，system configurations andstatetransition rules．Themodelemploysrolesto simplifyuserintegritymanagement．Thecorrectnessofgiven modelwasproven．Theapplicationcaseandimplementationmethodweregivenattheendofthepaper． Keywords Role，Integritylevel，Integritycontrol，Securitymodel，Operatingsystem 所需的完整性策略，要求只能由一种能够确保数据完整性的 1 引言 受控方式来操作数据，从而确保数据的完整性。但是，由于该 完整性是信息系统的一项重要安全需求。作为信息系统 完整性策略的内在复杂性，使得有关它的形式化工作至今仍 软硬件资源的管理者 ，安全操作系统应提供完整性保护特性。 未完成，因此造成了Clarkwilson完整性策略难以被精确理 在安全操作系统设计中的 “不向上破坏的原则”即低等级主体 解和有效使用的局面。 不能破坏高等级客体信息的完整性原则，就是从完整性保护 中国科学院软件研究所的季庆光博士提出了基于 DTE 方面对安全操作系统设计提出的要求。 技术 的完整性保护形式模型 DTE—IP1VI