J. Thomas Haigh

Extending the Noninterference Version of MLS for SAT

J. Thomas Haigh, William D. Young · IEEE Transactions on Software Engineering · 1987 · 116 citations

Computing, Computer Science, Computer Security +7

An Experience Using Two Covert Channel Analysis Techniques on a Real System Design

J. Thomas Haigh, Richard A. Kemmerer, John McHugh et al. · IEEE Transactions on Software Engineering · 1987 · 50 citations

Computing, Computer Engineering, Computer Science +11

The LDV Secure Relational DBMS Model.

J. Thomas Haigh, Richard C. O'Brien, Dan Thomsen · DBSec · 1990 · 43 citations

Computing, Computer Science, Computer Systems +12

Extending The Non-Interference Version Of MLS For Sat

J. Thomas Haigh, William D. Young · 1986 · 35 citations · Full text

Computing, Computer Science, Computer Security +5

An Experience Using Two Covert Channel Analysis Techniques On a Real System Design

J. Thomas Haigh, Richard A. Kemmerer, John McHugh et al. · 1986 · 29 citations

Computing, Computer Engineering, Computer Science +11