John McLean A Comment on the `Basic Security Theorem' of Bell and LaPadula. 67-70 1985 20 Inf. Process. Lett. 2 db/journals/ipl/ipl20.html#McLean85