Alternative correctness criteria for concurrent execution of transactions in multilevel secure databases.

Sushil Jajodia, Vijayalakshmi Atluri

Browse the full SP paper archive.