McLean, John and C. Meadows, ``Composable Security Properties'' 
Proc. Computer Security Foundations Workshop II, in Cipher, Fall, 1989. 
<P>