A multilevel transaction problem for multilevel secure database systems and its solution for the replicated architecture | IEEE Conference Publication | IEEE Xplore