Verified order-based secure concurrency controller in multilevel secure database management systems
Yonglak Sohn, Songchun Moon · IEICE Transactions on Information and Systems · 2000
VO maintains elaborated information about ordering relationships among transactions in a way of actively investigating and renewing the ordering relationships whenever it receives operations. With the elaborated information, it becomes capable of aborting transactions selectively whose non-interfered executions definitely violate one-copy serializability and providing more recent data versions to read requests than the other multiversion-based SCCs. Therefore, it comes to reduce the abort ratio and provide data versions with improved trustworthiness to transactions. By virtue of the elaborated information, moreover, VO is able to distinguish worthy versions and worthy transactions from unworthy ones, so that it is able to lighten the burdens of maintaining multiple versions and accumulated ordering relationships among transactions. For the aborts that are inevitable for preserving one-copy serializability, VO achieves security by deriving the conflicts to be occurred between transactions that have been cleared at the same security level.