1. Transductions and Context-free Languages;Berstel,1979
2. L. Bauer, J. Ligatti, and D. Walker. More enforceable security policies, 2002
3. Computability classes for enforcement mechanisms;Hamlen;ACM Transactions on Programming Languages and Systems (TOPLAS),2006
4. Edit automata: Enforcement mechanisms for run-time security policies;Ligatti;International Journal of Information Security,2005
5. Enforcing non-safety security policies with program monitors;Ligatti,2005