Finite state transducers for policy evaluation and conflict resolution | IEEE Conference Publication | IEEE Xplore