Multilevel secure transaction processing - Atluri, Vijay, 1956- (Kluwer Academic Publishers, 2000)