McLean, J. ``A Comment on the `Basic Security Theorem' of Bell
and LaPadula,'' Information Processing Letters, vol. 20, no. 2,
Feb. 1985.
<a href="1985mclean-ipl.ps">
 PostScript</a>
<P>