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

Roshan K. Thomas, Ravi S. Sandhu

Browse the full DBSEC paper archive.