Impossibility of Precise and Sound Termination Sensitive Security Enforcements