Edit automata: Enforcement mechanisms for run-time security policies.   [PDF, BibTeX, ]
Jay Ligatti, Lujo Bauer, and David Walker.
International Journal of Information Security, 4 (1--2) 2--16. February 2005. Springer. (Published online 26 Oct 2004.) © Springer-Verlag  DOI:10.1007/s10207-004-0046-8