Assuring Distributed Trusted Mach. - Todd Fine; Spencer E. Minear (S&P, 1993)

Providing Policy Control Over Object Operations in a Mach-Based System. - Spencer E. Minear (USENIX Security Symposium, 1995)