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.

@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},
}