Outcome enforcement as a guaranteePreviousAtomicity as a security primitiveNextStandardizing the interface