Sciweavers

Share
JCS
1998

A Semantic-Based Transaction Processing Model for Multilevel Transactions

9 years 11 months ago
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...
Indrakshi Ray, Paul Ammann, Sushil Jajodia
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 1998
Where JCS
Authors Indrakshi Ray, Paul Ammann, Sushil Jajodia
Comments (0)
books