Extending the Non-Interference Version of MLS for SAT. - J. Thomas Haigh; William D. Young (S&P, 1986)

Modeling Datbase Security Requirements. - J. Thomas Haigh (DBSec, 1987)

An Experience Using Two Covert Channel Analysis Techniques on a Real System Design. - J. Thomas Haigh; Richard A. Kemmerer; John McHugh; William D. Young (IEEE Trans. Software Eng., 1987)

Extending the Noninterference Version of MLS for SAT. - J. Thomas Haigh; William D. Young (IEEE Trans. Software Eng., 1987)

Discussion Notes and Research Question List. - D. J. Thomsen; J. Thomas Haigh; Carl E. Landwehr (DBSec, 1988)

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)

A comparison of type enforcement and Unix setuid implementation of well-formed transactions. - Dan J. Thomsen; J. Thomas Haigh (ACSAC, 1990)

The LDV Secure Relational DBMS Model. - J. Thomas Haigh; Richard C. O'Brien; D. J. Thomsen (DBSec, 1990)

The case for prevention-based, host-resident defenses in the modern PCS network. - Charles N. Payne Jr.; Richard C. O'Brien; J. Thomas Haigh (CSIIRW, 2009)

Trapping Malicious Insiders in the SPDR Web. - J. Thomas Haigh; Steven A. Harp; Richard C. O'Brien; Charles N. Payne; Johnathan Gohde; John Maraist (HICSS, 2009)