Policy Monitoring and a Finite State Automata Model | IEEE Conference Publication | IEEE Xplore