Achieving stricter correctness requirements in multilevel secure databases | IEEE Conference Publication | IEEE Xplore