Runtime Enforcement of Security Policies on Black Box Reactive Programs