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.

Authors

Roshan K. Thomas

This author has not been identified. Look up 'Roshan K. Thomas' in Google

Ravi S. Sandhu

This author has not been identified. Look up 'Ravi S. Sandhu' in Google