%0 Journal Article %T A Framework for Testing and Monitoring Security Policies: Application to an Electronic Voting System %J The Computer Journal %V 61 %N 8 %P 1109-1122 %@ 0010-4620 %D 2018-08-01 %I Oxford University Press %~ DeepDyve