McLean, J. ``The Specification and Modeling of Computer Security,''
Computer, vol. 23, no. 1, Jan. 1990.
<a href="1990mclean-computer.ps">
 PostScript</a>
<P>