DocumentCode
1900867
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
fYear
2008
fDate
8-13 June 2008
Firstpage
476
Lastpage
481
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICIW.2008.77
Filename
4545658
Link To Document