Title :
Integrating security and real-time requirements using covert channel capacity
Author :
Son, Sang H. ; Mukkamala, Ravi ; David, Rasikan
Author_Institution :
Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
Abstract :
Database systems for real-time applications must satisfy timing constraints associated with transactions in addition to maintaining data consistency. In addition to real-time requirements, security is usually required in many applications. Multi-level security requirements introduce a new dimension to transaction processing in real-time database systems. In this paper, we argue that, due to the conflicting goals of each requirement, tradeoffs need to be made between security and timeliness. We first define mutual information, a measure of the degree to which security is being satisfied by a system. A secure two-phase locking protocol is then described and a scheme is proposed to allow partial violations of security for improved timeliness. Analytical expressions for the mutual information of the resultant covert channel are derived, and a feedback control scheme is proposed that does not allow the mutual information to exceed a specified upper bound. Results showing the efficacy of the scheme obtained through simulation experiments are also discussed
Keywords :
access protocols; channel capacity; concurrency control; data integrity; database management systems; feedback; real-time systems; security of data; timing; transaction processing; concurrency control; covert channel capacity; data consistency; feedback control scheme; multi-level security requirements; mutual information; partial security violations; real-time database systems; real-time requirements; secure two-phase locking protocol; simulation; timeliness; tradeoffs; transaction processing; transaction timing constraints; upper bound; Data security; Database systems; Feedback control; Information analysis; Information security; Mutual information; Protocols; Real time systems; Timing; Upper bound;
Journal_Title :
Knowledge and Data Engineering, IEEE Transactions on