J. Thomas Haigh

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