McLean, J. ``Security Models,'' Encyclopedia of Software Engineering
(ed. John Marciniak), Wiley & Sons, Inc., 1994.
<a href="1994mclean-ency.ps">
 PostScript</a>
<P>