소프트웨어 독립성
Software independence| 다음에 대한 시리즈 일부 |
| 선거기술 |
|---|
| 용어. |
| 테스트 |
| 기술 |
| 제조자 |
"소프트웨어 독립성"(SI)이라는 용어는 론 리베스트 박사와 NIST 연구원 존 왁에 의해 만들어졌다. 소프트웨어 독립 투표기는 표 집계 기록이 소프트웨어에만 의존하지 않는 것을 말한다. SI 시스템의 목표는 모든 표가 합법적으로 기록되었는지 또는 오류로 기록되었는지 여부를 명확하게 결정하는 것이다.[1]
SI의 기술적 정의는 다음과 같다.
투표 시스템은 소프트웨어에서 감지되지 않은 변경이나 오류가 선거 결과에 감지할 수 없는 변경이나 오류를 야기할 수 없는 경우 소프트웨어 독립적이다.
SI는 인적 프로세스를 통해 오류와 사기를 예방하기보다는 각 개별 투표가 아닌 표의 표의 범주를 위한 글로벌 자산으로 재정의됐다.[3]
TGDC 분해능
선거 지원 위원회의 기술 지침 개발 위원회는 자발적 투표 시스템 가이드라인(VVVSG)의 다음 반복을 위한 SI 결의안을 채택했다.[4]
선거 관리자와 벤더는 선거 절차와 시스템에 보다 엄격한 접근 통제, 암호화, 시험, 물리적 보안을 추가함으로써 증가하는 투표 시스템의 복잡성에 적절히 대응해 왔다. TGDC는 투표 시스템에 대한 현재의 위협을 고려했으며, 현재 보안 우려는 EAC 모범 사례가 사용되는 배치된 투표 시스템을 교체하는 것을 보증하지 않는다는 것을 발견하였다.
감사 가능성을 제공하고 모든 잠재적 위협에 대한 보호의 증가하는 어려움을 능동적으로 해결하기 위해, TGDC는 STS가 차세대 투표 시스템이 소프트웨어 독립적이 되도록 요구하는 다음 버전의 VVSG에 대한 요구사항을 작성하도록 지시한다. TGDC는 모든 유권자가 독립 투표 기록을 확인할 수 있도록 STS와 HFP에 사용적합성 및 접근성 요건 초안을 지시한다.
TGDC는 또한 독립적으로 검증 가능한 투표 기록을 생산하는 시스템이 신뢰할 수 있고 감사를 위한 적절한 지원을 제공할 수 있도록 STS 및 핵심 요건 및 시험 소위원회(CRT)에 요건 초안을 지시한다.
예제 시스템
소프트웨어 독립 투표 시스템의 예로는 유권자가 검증한 서류 감사 추적이 있는 광학 스캔 투표 시스템과 직접 기록 전자 투표 컴퓨터(DRE)가 있다.
참조
- ^ VVSG 2007에서 소프트웨어 독립성 요구: Wayback Machine에 보관된 TGDC에 대한 STS 권장 사항, NIST 정책을 나타내지 않는 초안 백서
- ^ Rivest, Ron and Wack, John (2006). "On the notion of "software independence" in voting systems" (PDF). DRAFT Version July 28, 2006. Retrieved 2007-02-15.
{{cite web}}: CS1 maint : 복수이름 : 작성자 목록(링크) - ^ 기술지침개발위원회(TGDC)의 HFP 및 STS 소위원회의 지시에 따라 작성된 4가지 SI 접근방법(이 논문은 TGDC의 HFP 및 STS 소위원회의 지시에 따라 국가표준기술연구원이 작성했다). 예비 연구결과를 대표할 수 있다. NIST 또는 TGDC의 정책적 위치를 반드시 나타내는 것은 아니다.)
- ^ 12월 4일과 5일 본회의에서 TGDC가 채택한 결의안
