Title :
Mobile Implementation and Formal Verification of an e-Voting System
Author :
Campanelli, Stefano ; Falleni, Alessandro ; Martinelli, Fabio ; Petrocchi, Marinella ; Vaccarelli, Anna
Author_Institution :
CNR, IIT Pisa, Pisa
Abstract :
We propose a mobile implementation of an e-voting protocol. We also provide a formal analysis to validate a security property of our system.
Keywords :
formal verification; government data processing; mobile computing; security of data; e-voting system; formal verification; mobile implementation; security property; Communication system security; Computer networks; Cryptographic protocols; Electronic voting; Electronic voting systems; Formal verification; Handheld computers; Mobile communication; Nominations and elections; Web and internet services; Mobile e-voting; formal validation; implementation;
Conference_Titel :
Internet and Web Applications and Services, 2008. ICIW '08. Third International Conference on
Conference_Location :
Athens
Print_ISBN :
978-0-7695-3163-2
Electronic_ISBN :
978-0-7695-3163-2
DOI :
10.1109/ICIW.2008.77
