Abstract
Transactions are vital for multilevel secure database management systems (MLS/DBMSs) because they provide transparency to concurrency and failure. Concurrent execution of transactions may lead to contention among subjects for access to data. In MLS/DBMSs this can lead to covert channels. Multiversion schedulers reduce the contention for access to data by maintaining multiple versions. We propose a secure multiversion scheduling protocol and demonstrate its correctness, i.e., demonstrate that it produces only serializable schedules. We develop an abstract model of a scheduler that implements the protocol and show that it is secure, i.e., satisfies the MLS noninterference assertions. Thus, an implementation which adheres to the assumptions of the abstract model will be both secure and correct. In addition, we consider a method for generating timestamps.
| Original language | English (US) |
|---|---|
| Title of host publication | Proceedings of the High-Assurance Systems Engineering Workshop |
| Place of Publication | Los Alamitos, CA, United States |
| Publisher | IEEE |
| Pages | 206-213 |
| Number of pages | 8 |
| State | Published - 1997 |
| Externally published | Yes |
| Event | Proceedings of the 1996 High-Assurance Systems Engineering Workshop - Niagara, Can Duration: Oct 21 1996 → Oct 22 1996 |
Other
| Other | Proceedings of the 1996 High-Assurance Systems Engineering Workshop |
|---|---|
| City | Niagara, Can |
| Period | 10/21/96 → 10/22/96 |
ASJC Scopus subject areas
- Engineering(all)