ソフトウェアの独立性

「ソフトウェア独立性」（SI ）という用語は、ロン・リベスト博士とNIST研究者ジョン・ワックによって造られました。ソフトウェア独立投票機とは、集計記録がソフトウェアのみに依存しない投票機です。SIシステムの目標は、すべての投票が正当に記録されたか、それとも誤って記録されたかを明確に判断することです。^[1]

SIの技術的な定義は以下の通りである: ^[2]

投票システムがソフトウェアに依存しないのは、ソフトウェア内の検出されない変更やエラーが選挙結果に検出されない変更やエラーを引き起こさない場合に限ります。

SIは、個々の投票ではなく投票の集計のためのグローバルなプロパティとして再定義され、人間のプロセスによるエラーや不正を防止するのではなく、検出することを目指しています。^[3]

選挙支援委員会の技術ガイドライン策定委員会は、自主投票システムガイドライン（VVSG）の次の改訂版についてSI決議を採択した。^[4]

選挙管理官とベンダーは、選挙手順とシステムに、より厳格なアクセス制御、暗号化、テスト、および物理的セキュリティを追加することで、投票システムの複雑化に適切に対応してきました。TGDC は、投票システムに対する現在の脅威を考慮し、現時点では、セキュリティ上の懸念から、EAC ベスト プラクティスが使用されている導入済みの投票システムを交換する必要はないと判断しました。

監査可能性を提供し、あらゆる潜在的な脅威に対する保護の困難さに積極的に対処するために、TGDC は STS に、次世代の投票システムがソフトウェアに依存しないことを要求する VVSG の次期バージョンの要件を作成するよう指示します。TGDC は STS と HFP に、すべての投票者が独立した投票記録を検証できるように、使いやすさとアクセシビリティの要件を起草するよう指示します。

さらに、TGDC は、STS およびコア要件およびテスト小委員会 (CRT) に、独立して検証可能な投票記録を生成するシステムが信頼性が高く、監査に十分なサポートを提供することを保証するための要件を起草するよう指示しています。

ソフトウェアに依存しない投票システムの例としては、光学スキャン投票システムや、投票者が検証した紙の監査証跡を備えた直接記録型電子投票コンピューター(DRE)などがあります。

• 独立した検証システム
• 投票機の認証