Government: a better ballot box?
IEEE Spectrum - The amazing vanishing transistor act
Requirements and Evaluation Procedures for eVoting
ARES '07 Proceedings of the The Second International Conference on Availability, Reliability and Security
FSMC+, a tool for the generation of Java code from statecharts
Proceedings of the 5th international symposium on Principles and practice of programming in Java
Formal verification of tamper-evident storage for e-voting
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
Machine-assisted election auditing
EVT'07 Proceedings of the USENIX Workshop on Accurate Electronic Voting Technology
On the difficulty of validating voting machine software with software
EVT'07 Proceedings of the USENIX Workshop on Accurate Electronic Voting Technology
Verifying security properties in electronic voting machines
Verifying security properties in electronic voting machines
Mobile Implementation and Formal Verification of an e-Voting System
ICIW '08 Proceedings of the 2008 Third International Conference on Internet and Web Applications and Services
The Dynamics of Counting and Recounting Votes
IEEE Security and Privacy
Are your votes really counted?: testing the security of real-world electronic voting systems
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Point/counterpoint: The U.S. should ban paperless electronic voting machines
Communications of the ACM
Security evaluation of ES&S voting machines and election management system
EVT'08 Proceedings of the conference on Electronic voting technology
Analysis, improvement and simplification of Prêt à voter with Paillier encryption
EVT'08 Proceedings of the conference on Electronic voting technology
EVT'08 Proceedings of the conference on Electronic voting technology
VLPM: A Tool to Support BPR in Public Administration
ICDS '09 Proceedings of the 2009 Third International Conference on Digital Society
Development, formal verification, and evaluation of an E-voting system with VVPAT
IEEE Transactions on Information Forensics and Security - Special issue on electronic voting
Assessing procedural risks and threats in e-voting: challenges and an approach
VOTE-ID'07 Proceedings of the 1st international conference on E-voting and identity
Analysis of an electronic voting protocol in the applied pi calculus
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Procedural security analysis: A methodological approach
Journal of Systems and Software
Formal analysis of an electronic voting system: An experience report
Journal of Systems and Software
| Hi-index | 0.00 |
This paper discusses our approach and experiences on structuring and maintaining requirements for an e-voting system we have built and deployed for elections. Issues related to integrating laws and recommendation for e-voting systems, managing different elections and configurations, supporting a spiral development, yielded problems and approaches to help maintain integrity of requirements and a coherent view of the system. Moreover, the relationship between requirements and system architecture is based on finite state machines, that bridge the gap between the laws and the actual behavior of the machine.