A secure two phase locking protocol
Rasikan David, Sang Hyuk Son · 2002
A secure concurrency control algorithm must, in addition to maintaining consistency of the database, be free from covert channels arising due to data conflicts between transactions. The existing secure concurrency control approaches are unfair to transactions at higher access classes. A secure two-phase locking protocol that is shown to be free from covert channels arising due to data conflicts between transactions and that provides reasonably fair execution of all transactions, regardless of their access class, is presented. A description of the protocol for a centralized database system is given, and the extensions that need to be provided in a distributed environment are discussed.>