Der Begriff „ Softwareunabhängigkeit “ ( SI ) wurde von Dr. Ron Rivest und dem NIST- Forscher John Wack geprägt . Eine softwareunabhängige Wahlmaschine ist eine, deren Auszählung nicht ausschließlich auf Software basiert. Ziel eines SI-Systems ist es, eindeutig festzustellen, ob alle Stimmen rechtmäßig oder fehlerhaft erfasst wurden. [ 1 ]

Die technische Definition von SI lautet: [ 2 ]

Ein Wahlsystem ist softwareunabhängig, wenn eine unentdeckte Änderung oder ein unentdeckter Fehler in seiner Software keine unentdeckte Änderung oder keinen unentdeckten Fehler im Wahlergebnis verursachen kann.

SI wurde als globale Eigenschaft für die Auszählung von Stimmen anstatt für jede einzelne Stimme neu definiert, mit dem Ziel, Fehler und Betrug durch menschliche Prozesse aufzudecken, anstatt sie zu verhindern. [ 3 ]

TGDC-Resolution

Der Technische Richtlinienentwicklungsausschuss der Wahlhilfekommission verabschiedete eine SI-Resolution für die nächste Fassung der Richtlinien für freiwillige Wahlsysteme (VVSG): [ 4 ]

Wahlbehörden und Anbieter haben angemessen auf die zunehmende Komplexität von Wahlsystemen reagiert, indem sie strengere Zugriffskontrollen, Verschlüsselung, Tests und physische Sicherheitsvorkehrungen für Wahlverfahren und -systeme eingeführt haben. Das TGDC hat die aktuellen Bedrohungen für Wahlsysteme geprüft und kommt derzeit zu dem Schluss, dass Sicherheitsbedenken einen Austausch der eingesetzten Wahlsysteme, die den EAC Best Practices entsprechen, nicht rechtfertigen.

Um die Nachvollziehbarkeit zu gewährleisten und der zunehmenden Schwierigkeit, sich vor allen potenziellen Bedrohungen zu schützen, proaktiv zu begegnen, beauftragt das TGDC das STS mit der Ausarbeitung von Anforderungen für die nächste Version des VVSG, die die Softwareunabhängigkeit der nächsten Generation von Wahlsystemen vorschreiben. Das TGDC beauftragt das STS und das HFP außerdem mit der Ausarbeitung von Anforderungen an Benutzerfreundlichkeit und Barrierefreiheit, um sicherzustellen, dass alle Wähler die Unabhängigkeit des Wahlergebnisses überprüfen können.

Darüber hinaus beauftragt das TGDC die Unterausschüsse STS und Core Requirements and Testing (CRT) mit der Ausarbeitung von Anforderungen, um sicherzustellen, dass Systeme, die unabhängig überprüfbare Abstimmungsergebnisse erzeugen, zuverlässig sind und eine angemessene Unterstützung für Audits bieten.

Beispielsysteme

Beispiele für softwareunabhängige Wahlsysteme sind optische Scan-Wahlsysteme und elektronische Direktwahlcomputer (DRE) mit einem vom Wähler verifizierten Papierprotokoll .

Referenzen

  1. ^ Erforderliche Softwareunabhängigkeit in VVSG 2007: STS-Empfehlungen für den TGDC (Archiviert am 28.11.2009 in der Wayback Machine) , ein Entwurf eines Whitepapers, der nicht die NIST- Richtlinien
  2. ^ Rivest, Ron und Wack, John (2006). „Zum Begriff der „Softwareunabhängigkeit“ in Wahlsystemen“ (PDF) . Entwurf vom 28. Juli 2006. Abgerufen am 15. Februar 2007 .{{cite web}}: CS1 Wartung: Mehrere Namen: Autorenliste ( Link )
  3. ^ Vier Ansätze zu SI und Barrierefreiheit , erstellt im Auftrag der HFP- und STS-Unterkomitees des Technical Guidelines Development Committee (TGDC) ( Dieses Papier wurde vom National Institute of Standards and Technology im Auftrag der HFP- und STS-Unterkomitees des TGDC erstellt. Es kann vorläufige Forschungsergebnisse darstellen und spiegelt nicht notwendigerweise die Positionen des NIST oder des TGDC wider. )
  4. ^ Von der TGDC in ihrer Plenarsitzung am 4. und 5. Dezember verabschiedete Resolutionen

Siehe auch