Multilevel Secure Transaction Processing - Atluri, Vijay; Jajodia, Sushil; George, Binto (Springer US, 2000)