A Practical Transaction Model and Untrusted Transaction Manager for a Multilevel-Secure Database System
Myong H. Kang, Oliver Costich, Judith N. Froscher · 1992
A new transaction model for multilevel-secure databases which use the replicated architecture is presented. A basic concurrency control algorithm and two variations are given based on this transaction model. We also present new correctness criteria for multilevel-secure databases which use the replicated architecture. Based on this criteria, we prove that our algorithms are correct.