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