多级安全数据库测试技术研究与测试工具设计计算机应用技术专业论文.docxVIP

多级安全数据库测试技术研究与测试工具设计学位论文完成日期： 多级安全数据库测试技术研究与测试工具设计 学位论文完成日期： 盘!』：翌 指导教师签字： 答辩委员会成员签字： 本学位论文作者完全了解学校有关保留、使用学位论文的规定，并同意以下事项： 本学位论文作者完全了解学校有关保留、使用学位论文的规定，并同意以下 事项： 1、学校有权保留并向国家有关部门或机构送交论文的复印件和磁盘，允许 论文被查阅和借阅。 2、学校可以将学位论文的全部或部分内容编入有关数据库进行检索，可以 采用影印、缩印或扫描等复制手段保存、汇编学位论文。同时授权清华大学“中 国学术期刊(光盘版)电子杂志社”用于出版和编入CNKI《中国知识资源总库》， 授权中国科学技术信息研究所将本学位论文收录到《中国学位论文全文数据库》。 (保密的学位论文在解密后适用本授权书) 学位论文作者签名： 饵琦 导师签字：曲油姚 签字日期：肜俨厂月扣日∥J J J ∥ 签字日期：厶f薛，月如日 多级安全数据库测试技术研究与测试工具设计摘 多级安全数据库测试技术研究与测试工具设计 摘 要 随着网络信息技术的迅速发展和经济与社会生活信息化程度的不断提高，信 息安全已成为信息化社会正常运转的重要保障。数据库系统作为信息系统的核心 基础之一，存储了大量的系统与用户信息，这些信息的泄露和篡改会导致整个系 统的机密性和完整性受到破坏。因此，数据库安全性对于整个信息系统的安全至 关重要。为了提高数据库管理系统的安全性，研究者提出了多级安全数据库管理 系统这一概念，并提出了一系列多级安全数据库管理系统模型及技术实现。 本文针对多级安全数据库管理系统(简称MLSDBMS)的测试技术进行了 研究，在现有的MLSDBMS安全模型与技术的基础上，对标记、强制访问控制、 安全审计和推理控制等安全功能的测试方法进行深入探讨，提出了基于MAC模 型解释的动态测试方法、基于SQL扩展的数据库管理系统安全审计功能测试接 口和基于案例集的推理通道测试方法，并在此基础上实现了多级安全数据库管理 系统安全功能的动态测试工具MulDBTaT。 本文提出的基于MAC模型解释的动态测试方法包括模型解释、语法解释、 测试执行和测试结果汇总四个部分。测试方法对MAC模型进行语法解释与转换， 生成被测数据库系统可执行的脚本文件，脚本文件由测试工具自动执行，最终对 测试结果进行汇总。该方法与传统的手工测试相比，既增加了测试过程的自动化 程度，又提高了测试结果的客观性和可重复性。 多级安全数据库管理系统的安全审计功能通常采用非标准的SQL实现，导 致难以对数据库管理系统的安全审计功能进行动态测试。为了解决这一问题，本 文设计了一种基于SQL扩展的数据库管理系统安全审计功能测试接口，通过提 供一种标准的安全审计日志查询的SQL语言规范，为安全审计功能的动态查询 提供访问接口支持。 推理控制问题是多级安全数据库管理系统设计的一个难题，推理形式的多样 性决定了无法使用一种通用的推理控制方法消除所有的推理通道，因此对多级安 全数据库管理系统的推理控制机制的测试也是较为困难的。本文提出了一组针对 常用推理策略的测试实例集，通过使用这组测试实例，可以在一定程度上检测数 据库系统推理通道检测与控制策略的有效性。 ]在对测试方法进行研究的基础土，本文设计实现了多级安全数据库管理系统 ] 在对测试方法进行研究的基础土，本文设计实现了多级安全数据库管理系统 o 。{ 安全功能的动态测试工具MulDBTaT。该工具实现并集成了本文提出的测试方 法，结合其他安全功能指标的测试脚本，可以对多级安全数据库管理系统进行安 全功能的动态测试，相比手工测试大大提高了测试工作效率。 一 最后将提出的测试方法和测试工具应用于一例国产安全数据库系统的检测， 并将测试结果与手工测试方法进行了验证比对。结果表明，这些方法的提出和测 试工具的使用，可以有效提高测试效率，对多级安全数据库管理系统的检测和评 估具有较高的实用价值。 关键词：信息安全；多级安全数据库管理系统；强制访问控制；安全标记；安全 审计；推理控制 Study Study on Testing Techniques_and Design of Testing tools for Multilevel Secure Database Management System Abstract With the rapid development of networks and information technology and the improvement of the degree of informationization in economic and social lives， information