A single-level scheduler for the replicated architecture for multilevel-secure databases | IEEE Conference Publication | IEEE Xplore