Component Based Electronic Voting Systems

—An electronic voting system may be said to be composed by a number of components, each of which has a number of properties. One of the most attractive effects of this way of thinking is that each component may have an attached in-depth threat analysis and verification strategy. Furthermore, the need to include the full system when making changes to a component is minimised and a model at this level can be turned into a lower-level implementation model where changes made can cascade to as few parts of the actual implementation as possible.

• Type: Conference
• Year: 2007
• Where: DAGSTUHL
• Authors: David Lundin
• Keywords: DAGSTUHL 2007, In-depth Threat Analysis, Lower-level Implementation Model, Software Engineering, —An Electronic Voting