Prêt à Voter - Википедия - Prêt à Voter
 | Эта статья нужны дополнительные цитаты для проверка. (Март 2007 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
Prêt à Voter является Система голосования E2E разработан Питером Райаном из Люксембургский университет. Он направлен на обеспечение гарантий точности подсчета и конфиденциальности бюллетеней, которые не зависят от программного обеспечения, оборудования и т. Д. Гарантия точности проистекает из максимальной прозрачности процесса, совместимой с сохранением конфиденциальности бюллетеней. В частности, Prêt à Voter позволяет избирателям подтвердить, что их голос точно включен в подсчет голосов, избегая при этом опасности принуждения или подкупа голосов.[1]
Ключевая идея подхода Prêt à Voter состоит в том, чтобы закодировать голосование с помощью рандомизированный список кандидатов. Рандомизация списка кандидатов в каждом бюллетене гарантирует тайну каждого голосования. Между прочим, это также устраняет любое предвзятое отношение к лучшему кандидату, которое может возникнуть при фиксированном порядке.
Значение, напечатанное в нижней части квитанции, является ключом к получению голоса. Похороненный криптографически в этом значении содержится информация, необходимая для восстановления порядка кандидатов и извлечения голосов, закодированных в квитанции. Эта информация зашифрована с помощью секретные ключи разделены между несколькими кассира. Таким образом, интерпретировать голос, закодированный в квитанции, может только группа счетчиков, действующих вместе. Ни один агент или машина, участвующие в выборах, никогда не должны иметь возможность привязать конкретного избирателя к определенному расшифрованному голосованию.
После выборов избиратели (или, возможно, доверенные лица, действующие от их имени) могут посетить доску веб-объявлений (WBB) и подтвердить, что их квитанции отображаются правильно. Как только это закончится, операторы берут на себя управление и выполняют анонимные миксы и расшифровывают квитанции. Все промежуточные этапы этого процесса размещаются в WBB и проверяются позже.
Существуют различные механизмы аудита, гарантирующие, что все шаги, создание форм бюллетеней, смешивание и дешифрование и так далее были выполнены правильно, но они тщательно разработаны, чтобы не нарушать конфиденциальность бюллетеней.[2][3][4]
Пример
Предположим, что нашего избирателя зовут Энн. На избирательном участке Анна наугад выбирает бюллетень для голосования, запечатанный в конверт. Пример такой формы показан ниже:
| Кандидаты | Mark X |
|---|---|
| Idefix | |
| Астерикс | |
| Panoramix | |
| Обеликс | |
| 3994025096 |
В кабине Энн извлекает свой бюллетень из конверта и делает свой выбор обычным способом, ставя крестик в правом столбце напротив выбранного кандидата (или, в случае Единое передаваемое голосование (STV), например, она отмечает свое место по сравнению с кандидатами). Например, голосование за Астерикс дают:
| Кандидаты | Mark X |
|---|---|
| Idefix | |
| Астерикс | Икс |
| Panoramix | |
| Обеликс | |
| 3994025096 |
После того, как ее выбор сделан, она разделяет левую и правую полосы вдоль перфорации и отбрасывает левую полосу. У нее остается правая полоска, которая теперь составляет ее квитанцию, защищенную конфиденциальностью, как показано в таблице 3.
| Mark X |
|---|
| . |
| Икс |
| . |
| . |
| 3994025096 |
Теперь Энн выходит из будки, сжимая свою квитанцию, регистрируется у чиновника и бросает квитанцию. Ее квитанция помещается над оптическим считывателем или аналогичным устройством, которое записывает случайное значение в нижней части полоски и записывает, в какой ячейке отмечен ее символ «X». Ее оригинал бумажной квитанции имеет цифровую подпись и откровенный, и вернулся к ней, чтобы сохранить.
Обратите внимание, что, поскольку список кандидатов удаляется перед сканированием, машина, читающая бюллетень, никогда не узнает содержание голосования. Это предотвращает (преднамеренное или непреднамеренное) нарушение сканирующим оборудованием права голоса.
Источник
Prêt à Voter был вдохновлен более ранней проверяемой избирателями схемой Дэвид Чаум. Он заменяет визуальное криптографическое кодирование выбора избирателя в схеме Чаума концептуально и технологически более простой рандомизацией кандидатов. Идея Prêt à Voter о кодировании голосования посредством перестановок впоследствии была включена в концепцию Чаума. Punchscan схема. Однако Punchscan использует перестановку косвенных символов вместо имен кандидатов, что позволяет ему соответствовать законам о голосовании, которые требуют определенного порядка кандидатов. Первая реализация Prêt à Voter, выполненная командой под руководством Университет Суррея, выиграл лучший дизайн и второе место в 2007 году Конкурс университетских систем голосования после того, как победившая команда, Punchscan, обнаружила брешь в безопасности в части генератора случайных чисел исходного кода Prêt à Voter[5].[6]
Прошлые разработки
An EPSRC финансируемый проект, Надежные системы голосования, проходивший с апреля 2009 года по апрель 2014 года и направленный на улучшение дизайна Prêt à Voter различными способами, создание полного прототипа реализации и получение математических доказательств заявленных свойств безопасности Prêt à Voter. Проектом руководили Джеймс Хизер и Стив Шнайдер в Университет Суррея, и Марк Райан в Бирмингемский университет; это было тесное сотрудничество с финансируемым FNR проектом SerTVS, которым руководил Питер Райан в Люксембургский университет.
Текущее развитие
Похоже, что с 2014 года никаких разработок не было. Срок их доменов истек в 2015 году.
Анализ безопасности
Было проведено несколько различных исследований, в основном из которых сделан вывод о том, что система является безопасной и «восстанавливаемой надежностью», несмотря на несколько возможных векторов атаки.[7][8]
Рекомендации
- ^ Ryan, P.Y.A .; Д. Бисмарк; Дж. Хизер; С. Шнайдер; З. Ся (2009). "Избирательная система, поддающаяся проверке избирателями" (PDF). IEEE Transactions по информационной криминалистике и безопасности. 4 (4): 662–673. Дои:10.1109 / tifs.2009.2033233. Архивировано из оригинал (PDF) 28 ноября 2010 г.
- ^ Chaum, D .; П.Я. Райан; С. Шнайдер (2005), «Практическая избирательная схема, проверяемая избирателями» (PDF), Материалы 10-го Европейского симпозиума по исследованиям в области компьютерной безопасности ESORICS 2005: 118–139, архивировано с оригинал (PDF) на 2012-03-14
- ^ Ryan, P.Y.A .; С. Шнайдер (2006), "Prêt à Voter с повторным шифрованием миксов" (PDF), Материалы 11-го Европейского симпозиума по исследованиям в области компьютерной безопасности ESORICS 2006: 313–326, архивировано с оригинал (PDF) 28 ноября 2010 г.
- ^ Райан, П.Я. (2008). "Prêt à Voter с шифрованием Пайе" (PDF). Математическое и компьютерное моделирование. 48 (9–10): 1646–1662. Дои:10.1016 / j.mcm.2008.05.015.
- ^ Bismark, D .; Дж. Хизер; Р.М.А. Чистить; С. Шнайдер; Z. Xia; П.Я. Райан (2009), «Опыт, полученный в результате первого внедрения Prêt à Voter» (PDF), Труды RE-Vote'09: Первый международный семинар по разработке требований к системам электронного голосования, заархивировано из оригинал (PDF) на 2011-07-15
- ^ Зеттер, Ким (19 июля 2007 г.). «Команда США / Канады выиграла соревнование по машинам для голосования». Проводной. Получено 2008-08-19.
- ^ «Анализ угроз Prêt à Voter».
- ^ "Prêt à voter: системная перспектива".
внешняя ссылка
- Доступный аккаунт Prêt à Voter можно найти в главе "Компьютер съел мой голос", которая появится в Формальные методы: современное состояние и новые направления, Ред. Пол Бока, Springer 2007, также доступно как Технический отчет 988 Университета Ньюкасла [1].
- Более подробную техническую информацию можно найти в Технических отчетах Университета Ньюкасла 864, 880, 929, 956 и 965, а также на Веб-сайт Prêt à Voter .