A Semantic-Based Transaction Processing Model for Multilevel Transactions

Multilevel transactions have been proposed for multilevel secure databases; in contrast to most proposals, such transactions allow users to read and write across multiple security levels. The security requirement that no high level operation in uence a low level operation often con icts with the atomicity requirement of the standard transaction processing model. In particular, others have shown that no concurrency control algorithm based on the standard transaction processing model can guarantee both atomicity and security. This con ict motivates us to propose an alternative semantic-based transaction processing model for multilevel transactions. Our model uses the semantics of the application to analyze an application and reason about its behavior. Our notion of correctness is based on semantic correctness instead of serializability as in the standard transaction processing model. Semantic correctness ensures that database consistency is maintained, transactions output consistent dat...

• Type: Journal
• Year: 1998
• Where: JCS
• Authors: Indrakshi Ray, Paul Ammann, Sushil Jajodia
• Keywords: JCS 1998, Model, Multilevel Transactions, Standard Transaction