Verification techniques for policy based systems | IEEE Conference Publication | IEEE Xplore