Runtime Enforcement of Security Policies on Black Box Reactive Programs
Minh Ngo, Fabio Massacci, Dimiter Milushev, Frank Piessens · 2014
Security enforcement mechanisms like execution monitors are used to make sure that some untrusted program complies with a policy. Different enforcement mechanisms have different strengths and weaknesses and hence it is important to understand the qualities of various enforcement mechanisms.