IIT Home Page CNR Home Page

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à: Metodi formali per la sicurezza di sistemi ICT