Re: NSA funds SCC for robust/secure Linux

["Peter G. Neumann" <neumann@csl.sri.com>]

Jay,

Perhaps you are just referring to the origins of the Linux redo?  But if
you are referring to the origins of the type-enforcement technology,
in hardware, operating systems, and application software, be sure to 
check out our PSOS (Provably Secure Operating System) project done for 
NSA in the 1970s.  A paper by Rich Feiertag and me is at
  http://www.csl.sri.com/neumann/public_html/psos.pdf
and, in addition to a few early papers, there are reports from 1975, 
1977, and a revised version in 1980 prepared for the competition between
Honeywell (before they spun off SCC) and Ford Aerospace to implement 
something along those lines.

Peter
-
Securedistros: A common list for all secured Linux distributions
Archive:       http://humbolt.nl.linux.org/lists/