Towards a Unified Framework and Theory for Reasoning about Security and Correctness of Transactions in Multilevel databases
Roshan K. Thomas, Ravi S. Sandhu · 1993
The development of transaction managementschemes is essential to the maturing of database technology for multilevel secure environments. Accordingly, several concurrency control and transaction managementschemes have appeared in the recent literature. However, a close examination of these proposals reveal that they are cast in the context of individual problems and specialized architectures. Our objective in this paper is not to presentyet another concurrency control #and transaction management# scheme; but rather to develop a uni#ed framework and theory of multilevel transaction management from #rst principles. The long term vision is to develop a framework and theory that will be applicable for traditional as well as emerging #complex# transaction models. Our approach is based on analyzing the various dependencies that can develop between transactions and database objects across security levels, leading to a better understanding of the crucial interplaybetween security and correctne...