论文信息 - Execution ordering for multilevel secure rules

Execution ordering for multilevel secure rules

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.<<ETX>>

Kenneth P. Smith

[1] Butler W. Lampson,et al. A note on the confinement problem , 1973, CACM.

[2] Bruce G. Lindsay,et al. On Maintaining Priorities in a Production Rule System , 1991, VLDB.

[3] Umeshwar Dayal,et al. The architecture of an active database management system , 1989, SIGMOD '89.

[4] Marianne Winslett,et al. Entity Modeling in the MLS Relational Model , 1992, VLDB.

[5] Wei-Tek Tsai,et al. Multiversion concurrency control for multilevel secure database systems , 1990, Proceedings. 1990 IEEE Computer Society Symposium on Research in Security and Privacy.

[6] Jennifer Widom,et al. A syntax and semantics for set-oriented production rules in relational database systems , 1989, SGMD.

[7] Jennifer Widom,et al. Implementing Set-Oriented Production Rules as an Extension to Starburst , 1991, VLDB.

[8] Abraham Silberschatz,et al. Database System Concepts , 1980 .

[9] S. Jajodia,et al. A model of atomicity for multilevel transactions , 1993, Proceedings 1993 IEEE Computer Society Symposium on Research in Security and Privacy.

[10] Marianne Winslett,et al. Multilevel Secure Rules: Integrating the Multilevel Secure and Active Data Models , 1993, DBSec.

[11] Kenneth Paul Smith. Managing rules in active databases , 1992 .

[12] David A. Bell,et al. Secure computer systems: mathematical foundations and model , 1973 .