Constraints and multilevel security," in Foundations of secure computation, R.A. DeMillo et al (1978)

by J K MILLEN