Re: Hey old people

["David Lodge" <dave () cirt net>]

On Wed, 21 Dec 2005 19:53:10 -0000, Blue Boar <BlueBoar () thievco com> wrote:
> Roland Dobbins wrote:
> >  Here's a copy of the USAF MULTICS Security Evaluation from 1974:
> >  http://csrc.nist.gov/publications/history/karg74.pdf
> Now you're talking!  That's an excellent paper, and that was my initial  
> submission.  If you look in the directory that one is contained in,  
> you'll see one from '72, which is my current best find.

I love some of the quotes:
"Finally, and most important, current operating systems are so large, so  
complex, [sic] and so monolithic that one cannot begin to attempt a formal  
proof or certification of their correct implementation."

They'd have a field day with win 2k3 :-)

dave
_______________________________________________
Fun and Misc security discussion for OT posts.
https://linuxbox.org/cgi-bin/mailman/listinfo/funsec
Note: funsec is a public and open mailing list.