Dynamic Enforcement of the Strict Integrity Policy in Biba's Model