Hursti Hack - Hursti Hack

В Hursti Hack была успешной попыткой изменить количество голосов, записанных на Diebold машина для голосования с оптическим сканированием. Хак назван в честь Харри Хурсти.

Участников

Участниками были:

Ион Санчо, Наблюдатель за выборами, Леон Каунти, Флорида.
Томас Джеймс, специалист по информационным системам округа Леон, Флорида
Бев Харрис, Голосование по черному ящику основатель
Кэтлин Винн, заместитель директора по голосованию в Black Box
Харри Хурсти, программист и эксперт по безопасности
Хью Томпсон, эксперт по безопасности приложений и к.т.н. по математике
Сьюзан Бернекер, бывший Республиканец кандидат на Жители Нового Орлеана Городской совет.
Сьюзан Пинчон, Директор Коалиция за справедливые выборы Флориды

Взлом машины Diebold

Фактическая бумажная лента от первоначального взлома

В серии из четырех тестов, проведенных в феврале, мае и декабре 2005 г., Ион Санчо пригласил Black Box Voting в Таллахасси после приглашения проверить машины Diebold. Black Box Voting воспользовался услугами Dr. Герберт Хью Томпсон и Харри Хурсти.^[1] Доктор Томпсон и Хурсти считали, что они могут изменить или взломать итоги голосования без регистрации записи системой. Первые два проекта были ориентированы на компьютерную программу, которая суммирует все результаты машин для голосования и составляет окончательный отчет. 14 февраля и 2 мая Томпсон успешно взломал центральный табулятор Diebold GEMS и обошел все пароли с помощью сценария Visual Basic. Это, однако, будет обнаружено в среде бдительности, если наблюдатель за выборами сверит записи голосования (результаты машины для голосования) с отчетом центрального табулятора.

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

Средняя школа Леона (до взлома)
Кандидат	Голоса	Процент

Бад Бейкер	623	54.79%
Томас Гатри	192	16.89%
Надия Смит	322	28.32%

Средняя школа Леона (после взлома)
Кандидат	Голоса	Процент

Бад Бейкер	623	10.71%
Томас Гатри	192	3.30%
Надия Смит	5000	85.98%

Чтобы показать, что и ленты результатов, и центральный табулятор могут быть взломаны, Black Box Voting затем воспользовался услугами Hursti для взлома лент опросов. Black Box Voting приобрел картридер у Интернет и Hursti использовали его для производства поддельных карт памяти, которые 26 мая 2005 года успешно заменили записи результатов голосования машиной.^[2]

Один шаг

Четвертая поездка в Таллахасси состоялась 13 декабря 2005 года. Голосование за черный ящик и продюсеры фильма. Взламывая демократию организовал тест. Присутствовали Харрис и Кэтлин Винн из Black Box Voting, Hursti, Thompson, а также Сьюзан Пинчон из Коалиция за справедливые выборы Флориды из Округ Волусиа, Флорида, и Сьюзан Бернекер, бывший кандидат в Жители Нового Орлеана городской совет, который снимал на видео машины для голосования с сенсорным экраном марки Sequoia в своем районе, записывая голосование после голосования не за того кандидата.^[3] В ходе своего исследования Хурсти обнаружил, что карточки Диболда допускают отрицательные голоса. Хурсти успешно изменил результаты голосования, используя только карту памяти, произведя одноэтапный взлом, который одновременно изменил как результаты центрального табулятора, так и ленты результатов машины для голосования для согласованных (но сфальсифицированных) результатов. «Я бы не знал, - сказал Санчо. «Я бы засвидетельствовал эти выборы».

Финский компьютерный эксперт провел тесты на взлом трех машин для голосования Харри Хурсти для некоммерческой группы наблюдения за выборами Голосование по черному ящику^[4] и производители Взламывая демократию^[5] кто это снимал. Первые два Hursti Hacks были созданы в Леон Каунти, Флорида с разрешения Наблюдателя за выборами Ион Санчо и эти тесты исследовали Избирательные системы Diebold (DES) Машина для голосования Accu-Vote OS 1.94w (оптическое сканирование). Третий тест Hursti был проведен для голосования за черный ящик в сотрудничестве с Брюсом Фанком, тогдашним секретарем округа Эмери, штат Юта, на сенсорном экране Diebold TSx.

Взломы карт памяти Hursti

Тесты Hursti были третьим (26 мая 2005 г.) и четвертым (13 декабря 2005 г.) в серии из пяти проверок машин для голосования, проведенных группой Black Box Voting. Первые четыре теста были одобрены Наблюдателем за выборами округа Леон, Ион Санчо чтобы установить, можно ли изменить голоса на машине для голосования Diebold. Тесты 14 февраля 2005 г. и 2 мая 2005 г. были проведены на центральном табуляторе Diebold GEMS. Герберт Хью Томпсон, который доказал, что отчеты о результатах можно изменять без пароля с помощью сценария Visual Basic. Третий и четвертый тесты были тестами карт памяти, выполненными Hursti. Пятое испытание было проведено с Хурсти и Томпсоном в округе Эмери, штат Юта.

Во время первого взлома карты памяти 26 мая 2005 года Хурсти изменил программу, которая создает «ленты опроса» или отчеты о результатах машины для голосования. Однако этот взлом будет обнаружен, если надзорный орган по выборам сравнит результаты опросной ленты с центральным итоговым отчетом GEMS. Итоговый отчет GEMS может быть взломан, чтобы соответствовать, как было продемонстрировано во время двух предыдущих проектов голосования за черный ящик в графстве Леон с Гербертом Томпсоном. Томпсон успешно управлял программой подсчета GEMS с помощью скрипта Visual Basic.

Версия взлома карты памяти Hursti от 26 мая потребует двух шагов, чтобы добиться успеха без обнаружения в условиях бдительных выборов: и карта памяти, и программа табулятора GEMS должны иметь соответствующие хаки.^[6]

Во время видеозаписи встречи в Cuyahoga County, Огайо, Руководитель исследований и разработок DES Пэт Грин заявил, что система сдержек и противовесов обнаружит вмешательство и что невозможно будет изменить сами результаты голосования на карте памяти.

Однако во время тестирования 13 декабря 2005 года Hursti успешно изменил количество голосов на карте памяти. Его манипуляции с картами памяти привели к фальсификации записей результатов машины для голосования и отчета центрального табулятора GEMS. Наблюдатель за выборами округа Леон Ион Санчо заявил, что у него не было бы возможности обнаружить фальсификацию, и он подтвердил бы выборы.

Взлом карты памяти Hursti, совершенный в округе Леон 13 декабря 2005 г., представляет собой вариант наполнения карты памяти. избирательная урна перед подачей любого голоса. Hursti предварительно загрузил карту памяти, дав одному кандидату 5 положительных голосов и одному кандидату 5 отрицательных голосов, чтобы создать «нулевой отчет». Это позволяет машине точно определять количество поданных голосов по сравнению с количеством проголосовавших.

"Что мы собираемся сделать здесь, так это изменить одну карточку, а затем принести ее в офис Иона Санчо, провайдер выборов, зарегистрировать там настоящую карточку ... если на каких-либо выборах в отношении реальной избирательной системы и провести бюллетени, и это та же система, которая использовалась на нескольких предыдущих выборах ... и мы увидим, какова сила в урне для голосования, это должен быть пустой ящик, содержащий голоса, но у него больше возможностей, чем это ".
— Харри Хурсти, вторник, 13 декабря 2005 г.^[7]

На самом деле использовались бумажные бюллетени с предварительно напечатанным вопросом: «Можно ли взломать голоса в этой системе Diebold с помощью карты памяти?»

Тестовые выборы

Бюллетени, поданные участниками
Участник	Да или нет

Бев Харрис	Нет
Томас Джеймс	Нет
Ион Санчо	Нет
Сьюзан Бернекер	Нет
Сьюзан Пинчон	Нет
Кэтлин Винн	Нет
Хью Томпсон	да
Харри Хурсти	да
ОБЩИЙ:	6 НЕТ 2 ДА
Фактические результаты Diebold Machine
ДА	НЕТ
7	1

Поскольку Хурсти был технический консультант Санчо попросил его остаться за пределами испытательной площадки. Выбор машины для голосования производился методом случайной жеребьевки. Машина № 15191 вытягивалась как случайная машина.^[8] Хурсти только прикоснулся к карте памяти, но не коснулся каких-либо машин.

Семь участников заполнили свои бюллетени с помощью бумажных листов opti-scan (Хурсти остался за пределами испытательной зоны). Затем Санчо пошел к Хурсти и отдал ему бюллетень, который Хурсти заполнил. Затем Хурсти дал Санчо карту памяти, чтобы он вставил ее в машину. Санчо объяснил работу машины присутствующим, вставив карту и включив машину, которая затем произвела «нулевую общую ленту». Лента не дала ни одного голоса. Затем тестовые бюллетени были вставлены в машину Diebold, после чего была вставлена «карточка конца» (того же размера, что и бюллетень), сообщающая машине, чтобы она отключила функцию подсчета и начала функцию отчетности. Затем машина произвела бумажную ленту с 7 голосами «за» и 1 «против».

Полученные результаты

Этот тест продемонстрировал, что компания Diebold Election Systems искажала Государственные секретари по всей стране, когда компания заявила, что голоса нельзя было изменить на карте памяти, кредитная карта урна для голосования, используемая в компьютеризированных машинах для голосования. Более серьезно компания Diebold Election Systems заявила в письменной форме представителям избирательных комиссий штата, что карты памяти Diebold не содержат исполняемого кода. На самом деле карты памяти действительно содержали исполняемый код, похожий на «живое существо» внутри карт, и именно этот исполняемый код хакерский эксперт Харри Хурсти использовал для обмана системы голосования Diebold.

Кроме того, DES написал пресс-релиз, в котором говорилось о знаменитом изменении голосования «Hursti Hack», в котором говорилось, что: «Харри Хурсти был показан атакующим машину DES во Флориде. Но его атака, как позже выяснилось, была полной фикцией». В ответ на пробные выборы госсекретарь Калифорнии поручил ученым из Калифорнийский университет в Беркли для расследования «взлома Hursti».

Ученые Калифорнийского университета в Беркли написали Специальный отчет о машине для голосования Diebold Accuvote. На странице 2 их отчета говорится:

«Атака Харри Хурсти действительно работает: атака г-на Хурсти на AV-OS определенно реальна. Он действительно смог изменить результаты выборов, не делая ничего, кроме изменения содержимого карты памяти. Ему не нужны ни пароли, ни криптографические ключи. , и никакого доступа к любой другой части системы голосования, включая сервер управления выборами GEMS ".^[9]

Представитель DES сказал, что это было похоже на «оставить вашу машину незапертой, с опущенными окнами и оставленными ключами в замке зажигания, а затем удивиться, когда вашу машину украдут». ^[10]

Тестовые выборы были сняты и показаны в заключении номинированного на Эмми документального фильма HBO. Взламывая демократию, премьера которого состоялась 2 ноября 2006 г. "^[11]^[12]^[13]

Осмотр сенсорных экранов DES TSx в Юте

В 2006 году голосование по черному ящику было предложено Эмери Каунти, штат Юта Клерк округа Брюс Функ исследует сенсорный экран DES TSx. Голосование за черный ящик организовано для услуг Hursti и члена совета директоров Black Box Джима Марча, который побывал в Юте 1 и 2 марта 2006 года. Hursti обнаружил множество недостатков безопасности, наиболее вопиющими из которых была возможность перезагрузки всей операционной системы и возможность замените загрузчик, просто вставив карту памяти с определенным названием программы.^[14] Хурсти обнаружил, что система будет принимать макросы таким образом, чтобы это создавало риск для безопасности выборов. Джим Марч открыл корпус TSx и сфотографировал его внутреннюю часть, обнаружив скрытый слот для беспроводной связи SD и дополнительные разъемы под стандартным модемом, которые позволяют оборудовать машину для беспроводной связи без ведома избирательных комиссий.^[15]

Увидев, насколько серьезны проблемы, Black Box Voting обратился к Герберту Томпсону, тогдашнему главе охранной компании Security Innovation, для вынесения независимого мнения. И Хурсти, и Томпсон провели вторую серию тестов 16 и 17 марта 2006 года, чтобы подтвердить результаты, которые привели к появлению предупреждений о чрезвычайных ситуациях и принятию в последний момент корректирующих мер в Пенсильвании, Калифорнии и других штатах.^[16]