Computer-Aided Generation of Enforcement Mechanisms for Error-Tolerant Policies