Title :
Execution ordering for multilevel secure rules
Author_Institution :
Illinois Univ., Urbana, IL, USA
Abstract :
We describe the MCMLS rule execution algorithm for multilevel secure rules. Unlike previous algorithms, MCMLS preserves both MLS security constraints and permits arbitrary user-defined execution orderings which ensure correctness. MCMLS obtains these qualities by adapting the common multiversion concurrency control algorithm to implement both an apparent and an effective rule execution order in each transaction. Fewer rollbacks and desirable atomicity properties can be expected, due to the ascending execution order
Keywords :
concurrency control; deductive databases; distributed databases; knowledge based systems; MCMLS rule execution algorithm; MLS security constraints; active databases; arbitrary user-defined execution orderings; atomicity properties; common multiversion concurrency control algorithm; correctness; effective rule execution order; execution ordering; multilevel secure rules; Computerized monitoring; Concurrency control; Data security; Information retrieval; Lattices; Multilevel systems; Production; Protection; Transaction databases; Vehicles;
Conference_Titel :
Research Issues in Data Engineering, 1994. Active Database Systems. Proceedings Fourth International Workshop on
Conference_Location :
Houston, TX
Print_ISBN :
0-8186-5360-4
DOI :
10.1109/RIDE.1994.282848
