Независимость программного обеспечения
| Часть серии о |
| Избирательная технология |
|---|
| Технология |
| Терминология |
|
| Тестирование |
| Производители |
| Связанные аспекты |
Термин « независимость программного обеспечения » ( SI ) был придуман доктором Роном Ривестом и NIST исследователем Джоном Ваком . Независимая от программного обеспечения машина для голосования – это машина, результаты подсчета результатов которой не зависят исключительно от программного обеспечения. Цель системы SI — окончательно определить, были ли все голоса зарегистрированы законно или ошибочно. [1]
Техническое определение SI: [2]
Система голосования является независимой от программного обеспечения, если необнаруженное изменение или ошибка в ее программном обеспечении не может привести к необнаружимому изменению или ошибке в результатах выборов.
SI был переопределен как глобальное свойство для подсчета голосов, а не каждого отдельного голоса, с целью обнаружения, а не предотвращения ошибок и мошенничества с помощью человеческих процессов. [3]
Разрешение TGDC
[ редактировать ]Комиссии по содействию выборам Комитет по разработке технических руководств принял резолюцию 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 г.
{{cite web}}: CS1 maint: несколько имен: список авторов ( ссылка ) - ^ Четыре подхода к SI и доступности , подготовлено по указанию подкомитетов HFP и STS Комитета по разработке технических руководств (TGDC) ( Этот документ был подготовлен Национальным институтом стандартов и технологий по указанию подкомитетов HFP и STS). TGDC Он может представлять собой предварительные результаты исследования и не обязательно отражает какую-либо политическую позицию NIST или TGDC .
- ↑ Резолюции, принятые TGDC на пленарном заседании 4 и 5 декабря.
См. также
[ редактировать ] | Эта выборах статья о незавершена . Вы можете помочь Википедии, расширив ее . |