Item Details

Partial Security Policies to Support Timeliness in Secure Real-Time Databases

Son, Sang; Chaney, Craig; Thomlinson, Norris
Format
Report
Author
Son, Sang
Chaney, Craig
Thomlinson, Norris
Abstract
Conflicts in database systems with both real-time and security requirements can be unresolvable. We address this issue by allowing a database system to provide partial security in order to improve real-time performance when necessary. Systems that are partially secure allow potential security violations such as covert channel use at certain situations. We present the idea of requirement specification that enables the system designer to specify important properties of the database at an appropriate level. To help the designer, a tool can process the database specification to find unresolvable conflicts, and to allow the designer to specify the rules to follow during execution when those conflicts arise. We discuss several partial security policies and compare their performance in terms of timeliness and potential security violations.
Language
English
Date Received
20121029
Published
University of Virginia, Department of Computer Science, 1998
Published Date
1998
Collection
Libra Open Repository
Logo for In CopyrightIn Copyright

Availability

Access Online