Run-time enforcement of nonsafety policies. [PDF, BibTeX, ]Jay Ligatti, Lujo Bauer, and David Walker. ACM Transactions on Information and System Security, 12 (3). January 2009. ACM. © ACM DOI:10.1145/1455526.1455532