Noninterference and the Unwinding for LOCK. - Todd Fine; J. Thomas Haigh; Richard C. O'Brien; Dana L. Toups (CSFW, 1989)

Constructively Using Noninterference to Analyze Systems. - Todd Fine (S&P, 1990)

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

Developing and using a "policy neutral" access control policy. - Duane E. Olawsky; Todd Fine; Edward A. Schneider; Ray Spencer (NSPW, 1996)

Defining Noninterference in the Temporal Logic of Actions. - Todd Fine (S&P, 1996)

Using Composition to Design Secure, Fault-Tolerant Systems. - Duane E. Olawsky; Charles Payne; Thomas Sundquist; David Apostal; Todd Fine (HASE, 1998)