-------- Original-Nachricht -------- Betreff: [AISWorld] Electronic Voting Workshop in Trento, Italy! Datum: Fri, 25 Feb 2011 14:36:07 +0100 Von: Rüdiger Grimm grimm@uni-koblenz.de An: aisworld@lists.aisnet.org
Call for Papers 2nd RE Workshop on Requirements Engineering for Electronic Voting Systems (REVOTE'11) August 29, 2011 Trento, Italy URL: http://ed.fbk.eu/revote/ ------------------------------------------------------------------
On behalf of the 2nd RE Workshop on Requirements Engineering for Electronic Voting Systems (REVOTE'11) program committee, we invite you to submit papers covering all aspects of e-voting systems including , but not limited to, requirements, system development, and experimentation.
The focus of REVOTE'11 is the identification of best-practices for the engineering of e-voting system requirements and business process models, and to improve the current specification and development of the e-voting system standards and accreditation (certification) processes.
The Program Committee strongly encourages cross-disciplinary interactions between fields, including, but not limited to, requirements engineering, business process reengineering, formal analysis, and policy. Convincing results based on well-established techniques (e.g., an integrated analysis of the voting scenarios and clear allocation of the requirements for the different components of an election system) will be strongly favored.
We will also select position papers that show potential to stimulate or catalyze further research and explorations of new directions in e-voting, including preliminary results.
Papers are solicited on topics in all areas relating to e-voting, specifically:
- The role of business process (re)engineering techniques for e-voting system development. - Usability requirements for complexity (huge, complex ballots sheets) and for verifiability mechanisms and tradeoffs between different other requirements. - New requirements like unconditional election secrecy, complaints management, transparency. - Empirical analysis concerning the impact of poorly specified requirements on current e-voting technology. - The role of formal methods in specification and verification of system properties, with particular interest in security, verifiability and anonymity. - Evaluation of systems according to security and usability requirements. - Requirements maintenance, domain engineering and (software) product lines. - Usability requirements for verifiability mechanisms and tradeoffs between different other requirements. - Legal requirements, deducing technical requirements from legal ones. -Analysis of voting requirements documents and requirements capture processes, including those that predate e-voting. - Procedural Security modeling and Analysis. - New protocol ideas to support specific requirements (such as verifiability). -Realistic threat models.
Submissions are due May 25, 2011, at 11:59:59pm Apia, Samoa time).
For submission guidelines and more information, please see the complete Call for Papers at http://ed.fbk.eu/revote/index.php?p=call
REVOTE '11 will be co-located with the 19th IEEE Requirement Engineering Conference (RE'11), which will take place August 29 - September 2nd, 2011.
We look forward to receiving your submissions.
Ruediger Grimm, University of Koblenz (DE) Melanie Volkamer, CASED (DE) Steve Schneider, Surrey University (UK) Komminist Weldemariam, FBK (IT)
REVOTE'11 Organizers revote11@easychair.org
_______________________________________________ AISWorld mailing list AISWorld@lists.aisnet.org