Transaction Processing in Multilevel Secure Databases

In this chapter, we review the research efforts towards developing secure transaction processing algorithms. A secure transaction processing protocol, in addition to complying with the two Bell-LaPadula restrictions, must be free of all covert channels. This requirements prohibits the use of conventional concurrency control and commit protocols since they are susceptible to covert channels.