McLean, John ``The Algebra of Security,'' Proc. 1988 IEEE
Symposium on Research in Security and Privacy, IEEE Press, 1988. 
<P>