The b2/c3 Problem: How Big Buffers Overcome Covert Channel Cynicism in Trusted Database Systems
NAVAL RESEARCH LAB WASHINGTON DC
Pagination or Media Count:
We present a mechanism for communication from low to high security classes that allows partial acknowledgments and flow control without introducing covert channels. By restricting our mechanism to the problem of maintaining mutual consistency in replicated architecture database systems, we overcome the negative general results in this problem area. A queueing theory model shows that big buffers can be practical mechanisms for real database systems.
- Information Science
- Computer Systems Management and Standards