1. A Framework for Testing and Monitoring Security Policies: Application to an Electronic Voting System. (9th March 2018) Authors: Toumi, Khalifa; Aouadi, Mohamed; Cavalli, Ana R; Mallouli, Wissam; Allepuz, Jordi Puiggal; Montfort, Pol Valletb Journal: Computer journal Issue: Volume 61:Number 8(2018) Page Start: 1109 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗