A Single-Level Scheduler for the Replicated Architecture for Multilevel-Secure Databases

Download or read book A Single-Level Scheduler for the Replicated Architecture for Multilevel-Secure Databases written by and published by . This book was released on 1991 with total page 11 pages. Available in PDF, EPUB and Kindle. Book excerpt: The replicated architecture for multilevel secure database systems provides security by replicating data into separate untrusted single-level database systems. To be successful, a system using the replicated architecture must have a concurrency and replica control algorithm that does not introduce any covert channels. Jajodia and Kogan have developed one such algorithm that uses update projections and a write-all replica control algorithm. Here we describe an alternative algorithm. The new algorithm uses replicated transactions and a set of queues organized according to security class. A new definition of correctness is required for this approach, so we present one and use it to show that our algorithm is correct. The existence of this new algorithm increases the viability of the replicated architecture as an alternative to kernelized approaches.