Title :
A secure two phase locking protocol
Author :
David, Rasikan ; Son, Sang H.
Author_Institution :
Dept. of Comput. Sci., Univ. of Virginia, Charlottesville, VA, USA
Abstract :
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
Keywords :
access protocols; concurrency control; data integrity; distributed databases; security of data; access class; centralized database system; covert channels; data conflicts; secure concurrency control algorithm; secure two phase locking protocol; Access control; Access protocols; Computer science; Concurrency control; Data security; Database systems; Information security; Timing; Transaction databases; US Department of Energy;
Conference_Titel :
Reliable Distributed Systems, 1993. Proceedings., 12th Symposium on
Conference_Location :
Princeton, NJ
Print_ISBN :
0-8186-4310-2
DOI :
10.1109/RELDIS.1993.393466
