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

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

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.