Программная независимость - Википедия - Software independence

Технология выборов
Терминология
Тестирование
Технологии
Производители

Период, термин "независимость от программного обеспечения" (SI) был придуман доктором Рон Ривест и NIST Исследователь Джон Вак. Независимый от программного обеспечения машина для голосования это тот, чьи табличные данные не зависят исключительно от программного обеспечения. Цель системы SI - окончательно определить, были ли все голоса зарегистрированы законно или ошибочно.[1]

Техническое определение SI:[2]

Система голосования не зависит от программного обеспечения, если необнаруженное изменение или ошибка в ее программном обеспечении не может вызвать необнаружимое изменение или ошибку в результатах выборов.

SI был переопределен как глобальное свойство для подсчета голосов, а не каждого отдельного голоса, с целью обнаружения, а не предотвращения ошибок и мошенничества с помощью человеческих процессов.[3]

Разрешение TGDC

В Комиссия по содействию выборам с Комитет по разработке технических руководств принял резолюцию SI для следующей итерации Рекомендации по системе добровольного голосования (ВВСГ):[4]

Официальные представители избирательных комиссий и поставщики должным образом отреагировали на растущую сложность систем голосования, добавив более строгие меры контроля доступа, шифрование, тестирование и физическую безопасность в процедуры и системы выборов. TGDC рассмотрел текущие угрозы системам голосования и в настоящее время обнаружил, что проблемы безопасности не требуют замены развернутых систем голосования, в которых используются передовые методы EAC.

Чтобы обеспечить возможность аудита и проактивно решать возрастающую сложность защиты от всех предполагаемых угроз, TGDC предписывает STS написать требования для следующей версии VVSG, требующей, чтобы системы голосования следующего поколения были независимыми от программного обеспечения. TGDC поручает STS и HFP разработать требования к удобству использования и доступности, чтобы все избиратели могли проверить запись независимого голосования.

TGDC также дает указания STS и Подкомитетам по основным требованиям и тестированию (CRT) разработать требования для обеспечения надежности систем, которые создают отчеты о голосовании, подлежащих независимой проверке, и обеспечивают адекватную поддержку аудитов.

Примеры систем

Примеры программно-независимых систем голосования: системы голосования с оптическим сканированием и компьютеры для электронного голосования с прямой записью (DRE) с проверенный избирателем бумажный контрольный журнал.

Рекомендации

  1. ^ Требование независимости программного обеспечения в VVSG 2007: Рекомендации STS для TGDC В архиве 2009-11-28 на Wayback Machine, Черновик белой книги, не представляющий NIST политика
  2. ^ Ривест, Рон и Вак, Джон (2006). «О понятии« программной независимости »в системах голосования» (PDF ). ПРОЕКТ Версия от 28 июля 2006 г.. Получено 2007-02-15. Цитировать журнал требует | журнал = (помощь)CS1 maint: несколько имен: список авторов (связь)
  3. ^ Четыре подхода к информационным системам и доступности, Подготовлено по указанию подкомитетов HFP и STS Комитет по разработке технических руководств (TGDC) (Этот документ подготовлен Национальный институт стандартов и технологий по указанию подкомитетов HFP и STS TGDC. Он может представлять собой предварительные результаты исследования и не обязательно отражать какие-либо политические позиции NIST или TGDC.)
  4. ^ Решения, принятые TGDC на пленарных заседаниях 4 и 5 декабря

Смотрите также