@article{Jones2018, author = "Anita K. Jones and Richard J. Lipton", title = "{The enforcement of security policies for computation}", year = "2018", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/The_enforcement_of_security_policies_for_computation/6610556", doi = "10.1184/R1/6610556.v1" }