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.
@inproceedings{ThomasS93:1, title = {Towards a Unified Framework and Theory for Reasoning about Security and Correctness of Transactions in Multilevel databases}, author = {Roshan K. Thomas and Ravi S. Sandhu}, year = {1993}, tags = {security}, researchr = {https://researchr.org/publication/ThomasS93%3A1}, cites = {0}, citedby = {0}, pages = {309-328}, booktitle = {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}, editor = {Thomas F. Keefe and Carl E. Landwehr}, volume = {A-47}, series = {IFIP Transactions}, publisher = {North-Holland}, isbn = {0-444-81833-2}, }