Unix (In)Security

[Eric Bergan]

	It is true that there have been several attempts to develop "secure"
Unix kernel, with varying degrees of success. This is not an indictment of
Unix - rather it is praise for it. The reason is that there have only been
a couple of other attempts at "secure" operating systems, which have also
ended in failure. The fact that several attempts have been based on Unix means
that the people involved thought they had a fighting chance starting from
Unix.

	By "secure", I mean something that can run multi-level security in
a provably correct way. Can you imagine trying to formally prove VM secure?
It boggles the mind.

-- 
					eric
					...!seismo!umcp-cs!aplvax!milo!eric