A Framework for Testing and Monitoring Security Policies: Application to an Electronic Voting System. - Khalifa Toumi; Mohamed H. E. Aouadi; Ana R. Cavalli; Wissam Mallouli; Jordi Puiggalí Allepuz; Pol Valletb Montfort (Comput. J., 2018)