基于LogicSQL的B2级安全模型的研究

论文摘要

信息是当今人类社会的重要资源，它必然要面对各种各样的安全威胁。在我们越来越依赖于信息技术的同时，信息安全的问题也日益突出。信息安全已经成为当前研究的热点课题，作为信息系统核心的数据库的安全尤其成为信息安全的重中之重。国外几大数据库厂商的数据库产品占据了国内的大部分市场。国外出口到中国的数据库最高安全级别是C2级别，在这种情况下，加强国产数据库的开发并加强数据库的安全级别就显得非常重要。国内学术界对数据库的安全问题也进行了研究，从目前掌握的资料看，国内对数据库安全的研究无论是在理论上还是在相关实用产品上都落后于国外。国内对数据库系统的开发基本停留在大学等研究机构的实验室内，其市场份额都很小，并且其安全级别也不高。国产LogicSQL安全数据库的研发就在这个背景下得到各级政府的大力支持，取得了快速的发展。重点是LogicSQL数据库的安全模型的研究。B2级安全数据库要求对数据库的隐蔽通道进行分析，将自主访问控制和强制访问控制应用到所有的主、客体中，并对安全模型进行形式化描述。

论文目录

• 目录
• 摘要
• Abstract
• 第1章 序言
• 1.1 安全数据库的发展与现状
• 1.2 安全评估标准
• 1.3 数据库安全需求
• 1.4 研究意义
• 1.5 本文的研究
• 第2章 LogicSQL的安全模块体系结构
• 2.1 相关术语
• 2.2 LogicSQL的安全模块体系结构
• 2.2.1 标识与认证
• 2.2.2 访问控制
• 2.2.3 审计
• 2.2.4 加密
• 2.2.5 三权分立的设计
• 2.2.6 客体重用
• 2.3 本章小结
• 第3章 安全数据库的隐蔽通道与推理通道分析
• 3.1 安全数据库的隐蔽通道分析
• 3.1.1 相关概念
• 3.1.2 隐蔽通道的识别技术研究
• 3.1.3 隐蔽通道带宽的计算方法
• 3.1.4 隐蔽通道的处理方法
• 3.1.5 LogicSQL隐蔽通道实例分析
• 3.2 推理通道分析
• 3.2.1 推理通道通分类
• 3.2.2 产生推理通道的原因
• 3.2.3 推理通道的识别
• 3.2.4 推理通道的消除
• 3.3 本章小结
• 第4章 基于LogicSQL数据库的安全模型
• 4.1 相关的安全模型
• 4.1.1 HRU模型
• 4.1.2 Bell-La Padula模型
• 4.1.3 BIBA模型
• 4.2 基于LogicSQL数据库的安全模型
• 4.2.1 最小特权原则
• 4.2.2 自主访问控制机制
• 4.2.3 安全模型的相关定义
• 4.2.4 基本规则
• 4.2.5 安全模型的公理
• 4.3 本章小结
• 第5章 审计保护
• 5.1 审计作用
• 5.2 审计开关
• 5.3 审计设计
• 5.4 本章小结
• 第6章 总结与展望
• 6.1 总结
• 6.2 展望
• 致谢
• 参考文献
• 附录