Runtime Enforcement of BIP