Access Mediation in a Message Passing Kernel. - Martha A. Branstad; Homayoon Tajalli; Frank Mayer; David Dalva (S&P, 1989)

Redrawing the Security Perimeter of a Trusted System. - Daniel F. Sterne; Glenn S. Benson; Homayoon Tajalli (CSFW, 1994)