Computer-Aided Generation of Enforcement Mechanisms for Error-Tolerant Policies | IEEE Conference Publication | IEEE Xplore