CAREER: Supporting Workflow, Long Duration and Nested Transaction Models in a Multilevel Secure Database Environment

在过去几年中，多级安全(MLS)数据库管理系统(DBMS)中的事务处理领域取得了实质性进展。尽管开展了这一活动，但这一领域的研究一直局限于传统的交易概念。此外，即使对于传统的事务模型，现有的安全事务处理解决方案也不能完全令人满意。本研究(1)研究了高级数据库应用中多级安全约束对事务处理的影响，(2)研究了高级事务模型，特别是嵌套事务模型的性质是否可以用来解决传统数据库中的安全并发控制问题。它开发了多级安全工作流和多级安全长持续时间事务模型，并对MLS DBMS所需的嵌套模型进行了必要的扩展。该项目的成果使在高级数据库应用程序(如流程建模、工程设计和长期运行活动)中融入了多级安全，并为传统数据库应用程序提供了高效的安全事务处理协议。除了多层最小二乘数据库外，这项工作的结果对其他不安全的数据库环境，如分层分解的数据库，也有直接的帮助。教育计划包括开发三门本科和研究生水平的新课程，以及学生参与这项研究。

The area of transaction processing in multilevel secure (MLS) database management systems (DBMSs) has substantially progressed in the past few years. Despite this activity, research in this area has been limited to traditional transaction concepts. Moreover, even for traditional transaction models, existing solutions for secure transaction processing are not completely satisfactory. This research (1) investigates the impact of multilevel security constraints on transaction processing in advanced database applications, and (2) examines whether the properties of the advanced transaction models, in particular nested transaction models, can be utilized to solve the secure concurrency control problems in traditional databases. It develops multilevel secure workflow and multilevel secure long duration transaction models, and the necessary extensions to the nested model required by MLS DBMSs. The results of this project enable incorporating multilevel security in advanced database applications such as process modeling, engineering design and long-running activities, and provide efficient secure transaction processing protocols for conventional database applications. Besides MLS databases, the results of this work are directly useful in other non-secure database environments such as hierarchically decomposed databases. The education plan includes development of three new courses at undergraduate and graduate level and student involvement in this research.