Programvaruoberoende
| Del av serie om |
| en |
|---|
| valteknikteknik |
| Terminologi |
|
| Testning |
| Tillverkare |
| Besläktade aspekter |
Termen " programvaruoberoende " ( SI ) myntades av Dr. Ron Rivest och NIST -forskaren John Wack. En mjukvaruoberoende röstningsmaskin är en vars tabuleringsregister inte enbart förlitar sig på programvara. Målet med ett SI-system är att definitivt avgöra om alla röster registrerades legitimt eller felaktigt.
Den tekniska definitionen av SI är:
Ett röstningssystem är mjukvaruoberoende om en oupptäckt förändring eller fel i dess mjukvara inte kan orsaka en oupptäckbar förändring eller fel i ett valresultat.
SI har omdefinierats som en global egenskap för en tabellering av röster snarare än av varje enskild röst, i syfte att upptäcka snarare än att förhindra fel och bedrägerier genom mänskliga processer.
TGDC-upplösning
Valassistanskommissionens utvecklingskommitté för tekniska riktlinjer antog en SI-resolution för nästa iteration av riktlinjerna för det frivilliga röstningssystemet ( VVSG) :
Valtjänstemän och leverantörer har reagerat på lämpligt sätt på den växande komplexiteten i röstningssystem genom att lägga till strängare åtkomstkontroller, kryptering, testning och fysisk säkerhet till valprocedurer och valsystem. TGDC har övervägt aktuella hot mot röstningssystem och finner vid denna tidpunkt att säkerhetsproblem inte motiverar att ersätta utplacerade röstsystem där EAC Best Practices används.
För att tillhandahålla granskningsbarhet och proaktivt ta itu med den ökande svårigheten att skydda mot alla potentiella hot, uppmanar TGDC STS att skriva krav för nästa version av VVSG som kräver att nästa generation av röstsystem är mjukvaruoberoende. TGDC ger STS och HFP i uppdrag att utarbeta krav på användbarhet och tillgänglighet för att säkerställa att alla väljare kan verifiera den oberoende röstningen.
TGDC instruerar vidare STS och Core Requirements and Testing Subcommittees (CRT) att utarbeta krav för att säkerställa att system som producerar oberoende verifierbara röstregister är tillförlitliga och ger adekvat stöd för revisioner.
Exempel system
Exempel på mjukvaruoberoende röstningssystem är röstningssystem med optisk scanning och elektroniska röstdatorer för direktinspelning ( DRE) med ett väljarverifierat pappersrevisionsspår .