Secure Transaction Processing in Firm Real-Time Database Systems.

@inproceedings{DBLP:conf/sigmod/GeorgeH97,
  author    = {Binto George and
               Jayant R. Haritsa},
  editor    = {Joan Peckham},
  title     = {Secure Transaction Processing in Firm Real-Time Database Systems},
  booktitle = {SIGMOD 1997, Proceedings ACM SIGMOD International Conference
               on Management of Data, May 13-15, 1997, Tucson, Arizona, USA},
  publisher = {ACM Press},
  year      = {1997},
  pages     = {462-473},
  ee        = {http://doi.acm.org/10.1145/253260.253362, db/conf/sigmod/GeorgeH97.html},
  crossref  = {DBLP:conf/sigmod/97},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Many real-time database applications arise in safety-critical installations and military systems where enforcing security is crucial to the success of the enterprise. A secure real-time database system has to simultaneously satisfy two requirements guarantee data security and minimize the number of missed transaction deadlines. We investigate here the performance implications, in terms of missed deadlines, of guaranteeing security in a real-time database system. In particular, we focus on the concurrency control aspects of this issue.

Our main contributions are the following: First, we identify which among the previously proposed real-time concurrency control protocols are capable of providing protection against both direct and indirect (covert channels) means of unauthorized access to data. Second, using a detailed simulation model of a firm-deadline real-time database system, we profile the real-time performance of a representative set of these secure concurrency control protocols. Our experiments show that a prioritized optimistic concurrency control protocol, OPT-WAIT, provides the best overall performance. Third, we propose and evaluate a novel dual approach to secure transact,ion concurrency control that allows the real-time database system to simultaneously use different concurrency control mechanisms for guaranteeing security and for improving real-time performance. By appropriately choosing these different mechanisms, we have been able to design hybrid concurrency control algorithms that provide even better performance than OPT-WAIT.

Copyright © 1997 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 1, SIGMOD '93-'97" and ...

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/smod9397 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

Printed Edition

Online Edition: ACM Digital Library

References

[1]

Rakesh Agrawal, Michael J. Carey, Miron Livny: Concurrency Control Performance Modeling: Alternatives and Implications. ACM Trans. Database Syst. 12(4): 609-654(1987) BibTeX

[2]

Divyakant Agrawal, Amr El Abbadi, Richard Jeffers: Using Delayed Commitment in Locking Protocols for Real-Time Databases. SIGMOD Conference 1992: 104-113 BibTeX

[3]

Robert K. Abbott, Hector Garcia-Molina: Scheduling Real-Time Transactions: A Performance Evaluation. ACM Trans. Database Syst. 17(3): 513-560(1992) BibTeX

[4]

...

[5]

Kapali P. Eswaran, Jim Gray, Raymond A. Lorie, Irving L. Traiger: The Notions of Consistency and Predicate Locks in a Database System. Commun. ACM 19(11): 624-633(1976) BibTeX

[6]

...

[7]

...

[8]

...

[9]

...

[10]

...

[11]

Butler W. Lampson: A Note on the Confinement Problem. Commun. ACM 16(10): 613-615(1973) BibTeX

[12]

...

[13]

Ravi Mukkamala, Sang Hyuk Son: A Secure Concurrency Control Protocol for Real-Time Databases. DBSec 1995: 215-230 BibTeX

[14]

John T. Robinson: Design of Concurrency Controls for Transaction Processing Systems. Ph.D. thesis, Carnegie Mellon University 1982
BibTeX

[15]

...

[16]

Sang Hyuk Son, Rasikan David, Bhavani M. Thuraisingham: An Adaptive Policy for Improved Timeliness in Secure Database Systems. DBSec 1995: 199-214 BibTeX

[17]

Sang Hyuk Son, Rasikan David, Bhavani M. Thuraisingham: Improving Timeliness in Real-Time Secure Database Systems. SIGMOD Record 25(1): 29-33(1996) BibTeX

[18]

...

[19]

...

[20]

Bhavani M. Thuraisingham, Hai-Ping Ko: Concurrency Control in Trusted Database Management Systems: A Survey. SIGMOD Record 22(4): 52-59(1993) BibTeX

[21]

Shiby Thomas, S. Seshadri, Jayant R. Haritsa: Integrating Standard Transactions in Firm Real-Time Database Systems. Inf. Syst. 21(1): 3-28(1996) BibTeX

Referenced by

1. Binto George, Jayant R. Haritsa: Secure Bufering in Firm Real-Time Database Systems. VLDB J. 8(3-4): 178-198(2000)
2. Binto George, Jayant R. Haritsa: Secure Buffering in Firm Real-Time Database Systems. VLDB 1998: 464-475