Constitutional Compliant Electronic Voting
Constitutional Compliant Electronic Voting
批准号:
170530122
负责人:
Professor Dr. Johannes Buchmann
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2010
资助国家:
德国
项目状态:
已结题
起止时间:
2009-12-31 至 2013-12-31
中文摘要
自1999年以来,德国在议会选举中使用电子投票机。特别是在复杂的选举中,投票和计票过程中的电子支持是必不可少的,因为人工计票容易出错、耗时且昂贵。2009年3月3日,联邦宪法法院宣布使用的电子投票机和相应的联邦投票机条例违宪,因为它们不符合选举法的原则。但是法院也强调说,电子投票原则上不是这样。因此,该项目的目的是研究如何实施宪法电子投票系统,特别是宪法核查方法。为此目的,确定了全面的法律和技术要求,并对新的《联邦投票机条例》提出了建议。在此基础上,实现了一个支持投票、计票和选民认证的宪法投票系统,并提出了相应的评估和认证概念。在法律研究人员和计算机科学家之间的成功合作中,在项目的第一阶段,从判决书中得出了电子投票系统的要求,并分析了具有纯文本收据和加密收据的适当电子投票系统。在最初筹资期间,将最后确定使用纯文本收据的电子投票系统。在项目的第二阶段,将实现项目的总体目标。在法律和技术分析的基础上,将制定一项修改后的《联邦投票机条例》。此外,使用加密收据的电子投票系统将通过为选举设置和投票过程开发相应的前端来最终确定,这也将包括在评估和认证概念中。随后,本项目所开发的电子投票系统将进一步完善,使选民可以在任何投票站投票。最后,将对开发的投票系统原型进行实施,并对评估概念的遵从性进行分析。
英文摘要
Since 1999, in Germany electronic voting machines are used for parliamentary elections. In particular for complex elections, an electronic support during the vote casting and tallying process is essential since manual counting is fault prone, time intensive and expensive. On March 3rd, 2009, the Federal Constitutional Court declared the used electronic voting machines and the corresponding Federal Voting Machine Ordinance as unconstitutional since they did not meet the principles of the electoral law. However, the court also emphasized that this is not in principle the case for electronic voting. Thus, the aim of this project is to examine how constitutional electronic voting systems and especially constitutional verification methods can be implemented. For this purpose, comprehensive legal and technical requirements are defined and suggestions for a new Federal Voting Machine Ordinance are made. Further, a constitutional voting system is realized which supports vote casting, vote counting and voter authentication and a corresponding concept for evaluation and certification is developed. In successful cooperation between legal researchers and computer scientists, during the first phase of the project requirements for electronic voting systems were/are derived from the verdict and appropriate electronic voting systems with plain text receipts and encrypted receipts were/are analyzed. In the initial funding period, an electronic voting system using plain text receipts will be finalized. In the second phase of the project, the overall project objectives will be achieved. A modified Federal Voting Machine Ordinance will be derived which bases on the legal and technical analysis. Further, an electronic voting system using encrypted receipts will be finalized by developing a corresponding frontend for the election setup and vote casting process which will also be included in the evaluation and certification concept. Subsequently, the electronic voting system develop in this project will be further elaborated in such a way that the voter can cast his or her vote in any polling station. Finally, prototypes of the developed voting systems will be implemented and the compliance with the evaluation concept will be analyzed.
期刊论文(2)
专著(0)
科研奖励(0)
会议论文
DOI:
10.1007/978-3-319-07620-1_35
发表时间:
2014-06
期刊:
影响因子:
--
作者:
[Jurlind Budurushi;Simon Stockhardt;Marcel Woide;M. Volkamer]
通讯作者:
Jurlind Budurushi;Simon Stockhardt;Marcel Woide;M. Volkamer
Implementing and evaluating a software-independent voting system for polling station elections
实施和评估独立于软件的投票站选举投票系统
DOI:
10.1016/j.jisa.2014.03.001
发表时间:
2014
期刊:
J. Inf. Secur. Appl.
影响因子:
--
作者:
[Budurushi, Jurlind, Jöris, Volkamer, Melanie]
通讯作者:
Melanie
Practical quantum-computer resistant signature schemes
-
批准号:251300380
-
项目类别:Research Grants (Transfer Project)
-
资助金额:$0.0万
-
财政年份:2014
-
负责人:Professor Dr. Johannes Buchmann
-
依托单位:
Improving and Combining Gröbner bases and SAT solving techniques for algebraic cryptanalysis
-
批准号:171743725
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr. Johannes Buchmann
-
依托单位:
Parallelizing and implementing algorithms for cryptanalysis on graphics cards
-
批准号:181429555
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr. Johannes Buchmann
-
依托单位:
Beweisbar sichere, effiziente und langfristig sichere Varianten des Merkle Signaturverfahrens
-
批准号:164415288
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr. Johannes Buchmann
-
依托单位:
Juristisch-informatische Modellierung von Online-Wahlen
-
批准号:120892770
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2009
-
负责人:Professor Dr. Johannes Buchmann
-
依托单位:
Effiziente und sichere Public-Key-Kryptographie für das Zeitalter der Quantencomputer
-
批准号:5412648
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2003
-
负责人:Professor Dr. Johannes Buchmann
-
依托单位:
Kryptosysteme auf der Grundlage elliptischer Kurven
-
批准号:5201942
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1999
-
负责人:Professor Dr. Johannes Buchmann
-
依托单位:
Kryptosysteme auf der Grundlage algebraischer Zahlkörper
-
批准号:5142616
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:1998
-
负责人:Professor Dr. Johannes Buchmann
-
依托单位:
海外基金