Juristisch-informatische Modellierung von Online-Wahlen

在线选举的法律计算机科学建模

基本信息

项目摘要

Ziel des fortgesetzten und erweiterten Projekts ist es, rechtliche und technische Maßnahmen zur Realisierung der im Projekt ModIWa erarbeiteten Anforderungen an Internetwahlverfahren zu finden. In interdisziplinärer Zusammenarbeit von praktischer und theoretischer Informatik mit der Rechtswissenschaft sollen dabei zum einen konkrete technische Lösungen gefunden werden, welche die Gestaltungsvorschläge, die im Ausgangsprojekt mit Hilfe der Methode KORA erarbeitet wurden, umzusetzen vermögen. Hierzu werden zum einen bereits bestehende Internetwahlprotokolle anhand der nach KORA abgeleiteten Kriterien und Gestaltungsvorschläge evaluiert. Andererseits wird auch nach neuen Möglichkeiten gesucht, die Kriterien und Gestaltungsvorschläge zu erfüllen. Ein besonderer Schwerpunkt der Informatik wird dabei in der Bewertung von kryptographischen Verfahren bestehen, welche sowohl im Bereich der geheimen, als auch der öffentlichen Wahl Bedeutung erlangt haben. Die Rechtswissenschaft wird untersuchen, welche rechtlichen Umsetzungsschritte für typisierte Internetwahlszenarien erforderlich sind, um die Erfüllung der im Ausgangsprojekt und im beantragten Fortsetzungsprojekt gewonnenen Sicherheitsanforderungen rechtlich sicher zu stellen. Ein Internetwahlszenario besteht hierbei jeweils aus einem Wahlanwendungstyp, einer Wahlform und der Wahlrelevanz der Internetwahltechnik. Ein Wahlanwendungstyp bezeichnet dabei, in welchem gesellschaftlichen Zusammenhang eine Wahl stattfindet, wie etwa Wahlen zu Volksvertretungen, zu Selbstverwaltungsorganen, zu Interessenvertretungen und zu privaten Körperschaften. Die Wahlform beschreibt, ob die Wahl als Fernwahl von individuellen Endgeräten oder als Präsenzwahl aus vernetzten Wahllokalen stattfindet. Die Wahlrelevanz letztlich beschreibt, welche Stellung der Internetwahl eingeräumt wird, ob sie also als alleinige Wahltechnik oder als Ergänzung zur Papierwahl eingesetzt werden soll und welcher Anteil der Wähler sie nutzen können soll. Darauf aufbauend werden für Internetwahlverfahren Vorschläge zur Rechtssetzung erarbeitet. Durch das Fortsetzungsprojekt werden somit die Arbeiten am Referenzmodell zur Gestaltung und Evaluierung von Internetwahlverfahren vervollständigt und vertieft. Mit Abschluss des Projekts wird eine umfassende Systematik und Dogmatik zur rechts- und technikverträglichen Gestaltung von Internetwahlen vorliegen.
这些项目是在项目模块化的基础上实现的,是一个跨平台的项目。在实践和理论信息学的跨学科合作中,我们必须找到一种韦尔登,在KORA方法的帮助下,我们的综合研究项目将得到进一步的发展。Hierzu韦尔登zum beeits bestehende Intermartahlprotokolle anhand der nach KORA abgeleiteten Kriterien und Gestaltungsvorschläge evaluiert.此外,还将在新的Möglichkeiten gesucht、Kriterien和Gestaltungsvorschläge zu erfüllen中使用。一个更好的信息学的Schwerpunkt将在密码学的使用中发挥作用,它也会在密码学的使用中发挥作用。Die Rechtswissenschaft wird untersuchen,welche rechtlichen Umsetzungsschritte für typisierte Interferenceahlszenarien erforderlich sind,um die Erfüllung der im Ausgangsprojekt und im beantragten Fortsetzungsprojekt gewonnenen Sicherheitsanforderungen rechtlich sicher zu stellen.一个中间件最好是由中间件技术的一个环形件、一个环形件和一个环形件组成的。一个Wahlanwendungstyp bezeichnet dabei,in welchem gesellschaftlichen Zusammenhang eine Wahl stattfindet,wie etwa Wahlen zu Volksvertretungen,zu Selbstverwaltungsorganen,zu Interessenvertretungen und zu privaten Körperschaften. Wahlform beschreibt,ob die Wahl als Fernwahl von individuellen Endgeräten oder als Präsenzwahl aus vernetzten Wahllokalen stattfindet. Die Wahlrelevanz letztlich beschreibt,welche Stellung der Intermartahl eingeräumt wird,ob sie alleinige Wahltechnik or der als Ergänzung zur Papierwahl eingesetzt韦尔登soll and welcher Anteil der Wähler sie nutzen können soll. Darauf aufbauend韦尔登für Interschahlverfahren Vorschläge zur Rechtssetzung erarbeitet.该堡垒韦尔登项目由参考模型的工作人员负责对中间人的健康状况和垂直度进行评估。Mit Abschluss des Projekts wird eine umfassessment Systematik und Dogmatik zur rechts- und technikverträglichen Gestaltung von Intercourse ahlen vorliegen.

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Professor Dr. Johannes Buchmann其他文献

Professor Dr. Johannes Buchmann的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Professor Dr. Johannes Buchmann', 18)}}的其他基金

Practical quantum-computer resistant signature schemes
实用的抗量子计算机签名方案
  • 批准号:
    251300380
  • 财政年份:
    2014
  • 资助金额:
    --
  • 项目类别:
    Research Grants (Transfer Project)
Constitutional Compliant Electronic Voting
符合宪法的电子投票
  • 批准号:
    170530122
  • 财政年份:
    2010
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Improving and Combining Gröbner bases and SAT solving techniques for algebraic cryptanalysis
改进并结合 Gröbner 基和 SAT 求解技术进行代数密码分析
  • 批准号:
    171743725
  • 财政年份:
    2010
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
Parallelizing and implementing algorithms for cryptanalysis on graphics cards
在显卡上并行化和实现密码分析算法
  • 批准号:
    181429555
  • 财政年份:
    2010
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Beweisbar sichere, effiziente und langfristig sichere Varianten des Merkle Signaturverfahrens
Merkle 签名过程的可证明安全、高效且长期安全的变体
  • 批准号:
    164415288
  • 财政年份:
    2010
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Effiziente und sichere Public-Key-Kryptographie für das Zeitalter der Quantencomputer
量子计算机时代高效、安全的公钥密码学
  • 批准号:
    5412648
  • 财政年份:
    2003
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
Kryptosysteme auf der Grundlage elliptischer Kurven
基于椭圆曲线的密码系统
  • 批准号:
    5201942
  • 财政年份:
    1999
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
Kryptosysteme auf der Grundlage algebraischer Zahlkörper
基于代数数域的密码系统
  • 批准号:
    5142616
  • 财政年份:
    1998
  • 资助金额:
    --
  • 项目类别:
    Research Grants

相似海外基金

Informatische Methoden für Massenspektrometrie in der Genomik
基因组学中质谱的信息方法
  • 批准号:
    5400926
  • 财政年份:
    2003
  • 资助金额:
    --
  • 项目类别:
    Independent Junior Research Groups
Kalküle für charakteristische informatische Strukturen
特征IT结构的计算
  • 批准号:
    5327540
  • 财政年份:
    2001
  • 资助金额:
    --
  • 项目类别:
    Research Grants
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了