Analysis of integrity policies using soft constraints | IEEE Conference Publication | IEEE Xplore