Edit automata: Enforcement mechanisms for run-time security policies (2004)

by J Ligatti, L Bauer, D Walker
Venue:International Journal of Information Security