Correctness Criteria for Multilevel Secure Transactions.

Kenneth Smith Barbara T. Blaustein Sushil Jajodia LouAnna Notargiacomo Correctness Criteria for Multilevel Secure Transactions. 32-45 1996 8 IEEE Trans. Knowl. Data Eng. 1 db/journals/tkde/tkde8.html#SmithBJN96 db/journals/tkde/SmithBJN96.html TKDE8/k0032.pdf db/journals/tkde/SmithBJN96.html ... books/aw/BernsteinHG87 ... ... conf/dbsec/Costich91 ... conf/dbsec/CostichJ92 ... books/mk/GrayR93 ... ... ... ... ... ... conf/ride/Smith94 ... ...