The Design and Implementation of a Multilevel Secure Log Manager. - Vikram R. Pesati; Thomas E. Keefe; Shankar Pal (S&P, 1997)