Execution ordering for multilevel secure rules

Author

Smith, Ken

Author_Institution

Illinois Univ., Urbana, IL, USA

fYear

1994

Firstpage

98

Lastpage

104

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/RIDE.1994.282848

Filename

282848