A Covert Timing Channel-Free Optimistic Concurrency Control Scheme for Multilevel Secure Database Management Systems

2005 ◽  
pp. 310-316
Author(s):  
Sukhoon Kang ◽  
Yong-Rak Choi
Keyword(s):  
Concurrency Control ◽  
Database Management ◽  
Database Management Systems ◽  
Management Systems ◽  
Optimistic Concurrency Control ◽  
Control Scheme ◽  
Timing Channel ◽  
Covert Timing Channel

Survey on Database Concurrency Control in Multilevel Secure Database Management Systems

2018 ◽  
Vol 8 (4) ◽  
pp. 105
Author(s):  
Sakil Ahmad Ansari ◽  
Jaychand Vishwakarma
Keyword(s):  
Concurrency Control ◽  
Database Management ◽  
Database Management Systems ◽  
Management Systems ◽  
Necessary Condition ◽  
Output State ◽  
Security Issues ◽  
Concurrent Execution ◽  
Definition Of ◽  
Access To Data

Transactions are vital for database management systems (DBMSs) because they provide transparency to concurrency and failure. Concurrent execution of transactions may lead to contention for access to data, which in a multilevel secure DBMS (MLSIDBMS) may lead to insecurity. In this paper we examine security issues involved in database concurrency control for MLS/DBMSs and show how a scheduler can affect security. We introduce Data Conflict Security; (DC-Security) a property that implies a system is free of convert channels due to contention for access to data. We present a definition of DC Security based on noninterference. Two properties that constitute a necessary condition for DC-Security are introduced along with two other simpler necessary conditions. We have identified a class of schedulers we call Output-State-Equivalent for which another criterion implies DC-Security. The criterion considers separately the behavior of the scheduler in response to those inputs that cause rollback and those that do not. We characterize the security properties of several existing scheduling protocols and find many to be insecure

Sign in / Sign up

Export Citation Format

Share Document