Edit automata: enforcement mechanisms for run-time security policies (2005)

by Jay Ligatti, Lujo Bauer, David Walker
Venue:Int. J. Inf. Sec