A Multi-Threading Architecture for Multilevel Secure Transaction Processing. - Haruna R. Isa; William R. Shockley; Cynthia E. Irvine (S&P, 1999)