Edit automata: enforcement mechanisms for run-time security policies

Jay Ligatti, Lujo Bauer, David Walker. Edit automata: enforcement mechanisms for run-time security policies. Int. J. Inf. Sec., 4(1-2):2-16, 2005. [doi]

Abstract

Abstract is missing.