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

The LDV Approach to Database Security. - J. Thomas Haigh; Richard C. O'Brien; Paul D. Stachour; Dana L. Toups (DBSec, 1989)