A Framework for Testing and Monitoring Security Policies: Application to an Electronic Voting System

Toumi, Khalifa ; Aouadi, Mohamed ; Cavalli, Ana R ; Mallouli, Wissam ; Allepuz, Jordi Puiggal ; Montfort, Pol Valletb

Computer journal, 2018-08, Vol.61 (8), p.1109-1122 [Periódico revisado por pares]

Oxford University Press (UK)

Texto completo disponível