2008 Third International Conference on Internet and Web Applications and Services Mobile Implementation and Formal Verification of an e-Voting System June 08-June 13 ISBN: 978-0-7695-3163-2
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICIW.2008.77
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. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||