A Framework for Testing and Monitoring Security Policies: Application to an Electronic Voting System | Publicación