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