Transaction processing in multilevel-secure databases using replicated architecture | IEEE Conference Publication | IEEE Xplore