Secure Buffering in Firm Real-Time Database Systems
Binto George, Jayant R. Haritsa
Full Paper (PDF)

Abstract
The design of secure buffer managers for database systems supporting real-time applications with firm deadlines is studied here. We first identify the design challenges and then present SABRE, a new buffer manager that aims to address these challenges. SABRE guarantees covert channel-free security, employs a fully dynamic one-copy allocation policy for efficient usage of buffer resources, and incorporates several optimizations for reducing the number of killed transactions and for decreasing the unfairness in the distribution of killed transactions across security levels. Using a detailed simulation model, the real-time performance of SABRE is evaluated against unsecure conventional and real-time buffer management policies. Our experiments show that SABRE provides security with only a modest drop in real-time performance. Finally, we present FSABRE, an adaptive admission control- augmented version of SABRE, which efficiently ensures close to ideal fairness across transaction security levels while remaining within the information leakage bandwidth limits specified in military standards.

References

References, where available, link to the DBLP on the World Wide Web.

[1]
Robert K. Abbott, Hector Garcia-Molina: Scheduling Real-Time Transactions: A Performance Evaluation. TODS 17(3): 513-560(1992)
[2]
Hong-Tai Chou, David J. DeWitt: An Evaluation of Buffer Management Strategies for Relational Database Systems. VLDB 1985: 127-141
[3]
...
[4]
Wolfgang Effelsberg, Theo Härder: Principles of Database Buffer Management. TODS 9(4): 560-595(1984)
[5]
...
[6]
Binto George, Jayant R. Haritsa: Secure Transaction Processing in Firm Real-Time Database Systems. SIGMOD Conference 1997: 462-473
[7]
...
[8]
Jim Gray, Andreas Reuter: Transaction Processing: Concepts and Techniques. Morgan Kaufmann 1993, ISBN 1-55860-190-2
Contents
[9]
...
[10]
...
[11]
...
[12]
Butler W. Lampson: A Note on the Confinement Problem. CACM 16(10): 613-615(1973)
[13]
...
[14]
C. L. Liu, James W. Layland: Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment. JACM 20(1): 46-61(1973)
[15]
...
[16]
...
BIBTEX

@inproceedings{DBLP:conf/vldb/GeorgeH98,
author = {Binto George and
Jayant R. Haritsa},
editor = {Ashish Gupta and
Oded Shmueli and
Jennifer Widom},
title = {Secure Buffering in Firm Real-Time Database Systems},
booktitle = {VLDB'98, Proceedings of 24rd International Conference on Very
Large Data Bases, August 24-27, 1998, New York City, New York,
USA},
publisher = {Morgan Kaufmann},
year = {1998},
isbn = {1-55860-566-5},
pages = {464-475},
crossref = {DBLP:conf/vldb/98},
bibsource = {DBLP, http://dblp.uni-trier.de}
}


DBLP: Copyright ©1999 by Michael Ley (ley@uni-trier.de).