I've written a lot more, just haven't had time to put them into a
web-friendly format...
1984
An Overview of the Kernelized Secure Operating System (KSOS)
((PDF),
(TEXT),
Perrine, T., J. Codd,
and B. Hardy
"An Overview of the
Kernelized Secure Operating
System (KSOS)," Proc. 7th
Seminar, DoD Comp. Sec.
Progr., (5: DOD-84), 1984,
pp. 146-160.
Key Words: OS, kernel,
design, case.
from 1984 - 1994
KSOS-32 - various papers, yet to be HTML'ed
1995
Safely Connecting to the Internet, the transcript of a presentation I have
presented at several sessions of industry meetings, such as the
NetExpo/Internet Business Conference in 1995.