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