Internet技术的飞速发展和计算机技术的广泛应用,给社会和人们的生活带来深刻的变革。由于越来越多的机密信息保存在计算机系统中,不但造成了数据库管理系统管理的信息越来越庞大、越来越复杂,也使计算机系统成为黑客攻击的目标。如何保护数据库的安全成为信息安全中一个重要的研究方向。数据库安全理论和技术是数据库理论研究的重要方向。本文围绕安全数据模型,多级安全环境下的事务处理,推理控制展开了探讨,首先针对空值的二义性和数据穿越问题,提出一种改进的多实例安全模型,并对外键引起的存储隐通道进行了控制,提高了查询的效率;其次探讨推理通道的检测和排除问题,针对静态、动态推理通道和复合通道分别给出了不同的通道检测方法,并提出一种通过提高输入安全密级来消除推理通道的算法;最后讨论了事务从单级拓展到多级所面临的各种难题,提出了一种基于数据复制结构的事务调度算法。根据上述理论,开发了一个多级安全数据库管理系统的原型系统。实验结果表明提出的安全模型、检测和消除推理通道是正确的。