J. Thomas Haigh

Publication Activity (10 Years)

Years Active: 1986-2009
Publications (10 Years): 0

Publications

J. Thomas Haigh, Steven A. Harp, Richard C. O'Brien, Charles N. Payne, Johnathan Gohde, John Maraist
Trapping Malicious Insiders in the SPDR Web. HICSS (2009)
Charles N. Payne Jr., Richard C. O'Brien, J. Thomas Haigh
The case for prevention-based, host-resident defenses in the modern PCS network. CSIIRW (2009)
Dan J. Thomsen, J. Thomas Haigh
A comparison of type enforcement and Unix setuid implementation of well-formed transactions. ACSAC (1990)
J. Thomas Haigh, Richard C. O'Brien, D. J. Thomsen
The LDV Secure Relational DBMS Model. DBSec (1990)
J. Thomas Haigh, Richard C. O'Brien, Paul D. Stachour, Dana L. Toups
The LDV Approach to Database Security. DBSec (1989)
Todd Fine, J. Thomas Haigh, Richard C. O'Brien, Dana L. Toups
Noninterference and the Unwinding for LOCK. CSFW (1989)
D. J. Thomsen, J. Thomas Haigh, Carl E. Landwehr
Discussion Notes and Research Question List. DBSec (1988)
J. Thomas Haigh, Richard A. Kemmerer, John McHugh, William D. Young
An Experience Using Two Covert Channel Analysis Techniques on a Real System Design. IEEE Trans. Software Eng. 13 (2) (1987)
J. Thomas Haigh
Modeling Datbase Security Requirements. DBSec (1987)
J. Thomas Haigh, William D. Young
Extending the Noninterference Version of MLS for SAT. IEEE Trans. Software Eng. 13 (2) (1987)
J. Thomas Haigh, Richard A. Kemmerer, John McHugh, William D. Young
An Experience Using Two Covert Channel Analysis Techniques on a Real System Design. IEEE Symposium on Security and Privacy (1986)
J. Thomas Haigh, William D. Young
Extending the Non-Interference Version of MLS for SAT. IEEE Symposium on Security and Privacy (1986)