McLean, J. ``Security Models and Information Flow,'' Proceedings of
1990 IEEE Symposium on Research in Security and Privacy, IEEE
Press, 1990. (IEEE Computer Society Outstanding Paper Award)
<a href="1990mclean-sp.ps">
 PostScript</a>
<P>