论文部分内容阅读
本文以一个商品化安全操作系统的大量实际开发工作为基础,结合国内外在多安全政策支持框架、安全模型和安全操作系统等方面的最新研究成果,对多安全政策支持框架的理论及其在安全操作系统中的实施进行了研究。主要取得了六个方面的成果: 1.引入“二项缓冲机制”到通用访问控制框架中,有效地解决了访问控制框架在支持多种安全政策时效率低下的问题,并建议将“二项缓冲机制”引入到访问控制框架的国际标准ISO/IEC 10181-3:1996中。 2.首次提出应用于操作系统的角色访问控制模型OSR,并且在多安全政策支持框架下成功实施,这也是具备完整特性的RBAC模型第一次直接在操作系统内核中实施。 3.首次提出环境适应的通用多安全政策支持框架”——Guards,并给出环境适应的通用多安全政策支持框架的九条评价标准。Guards框架比其它的多安全政策支持框架,在支持动态安全政策和适应安全环境变化方面有较大进步,因此更贴近真实安全环境的要求。 4.对安全操作系统研发中的一个长期疑难问题“安全属性即时撤消”进行了深入研究,通过建立“安全属性即时撤消框架”和“基于操作列表的in-progress操作撤消机制”,取得了较满意的结果。将此研究结果引入到多安全政策支持框架中,可以较好地解决多安全政策支持框架的政策灵活性问题。 5.遵循CC标准EAL3级的要求,首次提出安全操作系统安全管理机制SAMSOS,并且在多安全政策支持框架下成功实施。 6.提出“基于政策描述语言”、“基于安全属性”和“基于统一模型”的分类方法,首次对国际上百花齐放的多安全政策支持框架的研究工作,进行了比较系统的划分。为多安全政策支持框架的进一步研究建立了一定的基础。 总之,本文的研究成果推进了多安全政策支持框架的理论研究,并且可以为安全操作系统的实际开发提供较好的借鉴。