loading...
Mobile Implementation and Formal Verification of an e-Voting System
June 08-June 13
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICIW.2008.772008 Third International Conference o ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Stefano Campanelli, Alessandro Falleni, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli, "Mobile Implementation and Formal Verification of an e-Voting System," Internet and Web Applications and Services, International Conference on, pp. 476-481, 2008 Third International Conference on Internet and Web Applications and Services, 2008.
 
 
BibTex
x
 
@article{ 10.1109/ICIW.2008.77,
author = {Stefano Campanelli and Alessandro Falleni and Fabio Martinelli and Marinella Petrocchi and Anna Vaccarelli},
title = {Mobile Implementation and Formal Verification of an e-Voting System},
journal ={Internet and Web Applications and Services, International Conference on},
volume = {0},
year = {2008},
isbn = {978-0-7695-3163-2},
pages = {476-481},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICIW.2008.77},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Internet and Web Applications and Services, International Conference on
TI - Mobile Implementation and Formal Verification of an e-Voting System
SN - 978-0-7695-3163-2
SP476
EP481
A1 - Stefano Campanelli,
A1 - Alessandro Falleni,
A1 - Fabio Martinelli,
A1 - Marinella Petrocchi,
A1 - Anna Vaccarelli,
PY - 2008
KW - Mobile e-voting
KW - implementation
KW - formal validation
VL - 0
JA - Internet and Web Applications and Services, International Conference on
ER -
 
We propose a mobile implementation of an e-voting protocol. We also provide a??formal analysis to validate a security property of our system.
Index Terms:
Mobile e-voting, implementation, formal validation
Citation:
Stefano Campanelli, Alessandro Falleni, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli, "Mobile Implementation and Formal Verification of an e-Voting System," iciw, pp.476-481, 2008 Third International Conference on Internet and Web Applications and Services, 2008
Usage of this product signifies your acceptance of the Terms of Use.