Mobile implementation and formal verification of an e-voting system
We propose a mobile implementation of an e-voting protocol. We also provide a formal analysis to validate a security property of our system.
ICIW, Athen, 2008
Autori: Stefano Campanelli, Alessandro Falleni, Fabio Martinelli, Marinella Petrocchi and Anna Vaccarelli
Autori IIT:
Tipo: Articolo in Atti di convegno internazionale con referee
Area di disciplina: Information Technology and Communication Systems
Attività: Strumenti e metodologie per l’analisi formale della sicurezza dei sistemi ICT ed infrastrutture critiche
