Reactive non-interference for a browser model