Alternative correctness criteria for concurrent execution of transactions in multilevel secure databases | IEEE Journals & Magazine | IEEE Xplore