多级安全数据库并发控制的研究与实现

摘要

信息技术的迅速发展使数据库面临的安全问题更加复杂，并发控制(Concurrency Control)是数据库安全领域的一个重要部分。本文对安全数据库并发控制理论和实现方法进行讨论，提出了NHSTM多级事务模型，并将该模型应用于NHSDB多级安全数据库的并发控制机制中。 本文首先分析了传统的数据库并发控制各自存在的优缺点，总结了传统并发控制在多级安全条件下存在的问题，由此引出了多级安全数据库并发控制机制。在总结了已有的研究基础上，针对BLP多级安全模型下并发控制产生隐通道和饥饿问题，本文提出了一种多级事务模型---NHSTM模型。我们对应用NHSTM模型的，通过应用严格两段锁协议实施的并发调度中，可能存在的并发冲突，隐通道和饥饿问题进行分析，在此基础上提出了一种利用缓冲和P点的并发调度算法，并给出了该算法的并发调度正确性证明，解决多级安全条件下的隐通道和饥饿问题。同时，我们对NHSDB并发控制机制中的关键技术进行了讨论并给出了NHSDB安全数据库的并发控制机制的具体实现。最后给出本文的结论和我们进一步研究的工作。