10.1184/R1/6610556.v1 Anita K. Jones Anita K. Jones Richard J. Lipton Richard J. Lipton The enforcement of security policies for computation Carnegie Mellon University 2014 Electronic data processing departments Security measures. Computer programming. 2014-06-01 00:00:00 Journal contribution https://kilthub.cmu.edu/articles/journal_contribution/The_enforcement_of_security_policies_for_computation/6610556 Computer Science Department