Towards a Unified Framework and Theory for Reasoning about Security and Correctness of Transactions in Multilevel databases

Roshan K. Thomas, Ravi S. Sandhu. Towards a Unified Framework and Theory for Reasoning about Security and Correctness of Transactions in Multilevel databases. In Thomas F. Keefe, Carl E. Landwehr, editors, Database Security, VII: Status and Prospects, Proceedings of the IFIP WG11.3 Working Conference on Database Security, Lake Guntersville, Alabama, USA, 12-15 September, 1993. Volume A-47 of IFIP Transactions, pages 309-328, North-Holland, 1993.