Title :
Design and analysis of a secure two-phase locking protocol
Author :
Son, Sang H. ; David, Rasikan
Author_Institution :
Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
Abstract :
In addition to maintaining consistency of the database, secure concurrency control algorithms must 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 is presented, which is correct and free from covert channels. The protocol uses three different types of locks to support non-interference property and to provide reasonably fair execution of all transactions, regardless of their access class. The results of a performance evaluation of the protocol are provided, comparing it with secure optimistic concurrency control and secure multiversion timestamp ordering
Keywords :
concurrency control; data integrity; database management systems; protocols; security of data; access class; consistency; covert channels; data conflicts; higher access classes; non-interference property; performance evaluation; secure concurrency control; secure concurrency control algorithms; secure multiversion timestamp ordering; secure optimistic concurrency control; secure two-phase locking protocol; Access control; Access protocols; Computer science; Concurrency control; Data security; Database systems; Information security; Lamps; Timing; Transaction databases;
Conference_Titel :
Computer Software and Applications Conference, 1994. COMPSAC 94. Proceedings., Eighteenth Annual International
Conference_Location :
Taipei
Print_ISBN :
0-8186-6705-2
DOI :
10.1109/CMPSAC.1994.342775
