McLean, John ``New Paradigms for High Assurance Systems,'' Proc. 1992
New Security Paradigms Workshop, IEEE Press, 1993. 
<P>