Презентация "Системы электронного голосования" по информатике – проект, доклад

7 февраля 2011 г. ИНФОФОРУМ

Системы электронного голосования

А.В.Лунин ОАО «ИнфоТеКС» 29 января 2011 г.

Идея компьютеризации избирательного процесса

патент 90.446 Томас Эдисон «электронное устройство для голосования» 1869 год, штат Массачусетс

Широкое внедрение систем электронного голосования позволит:

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

Угрозы

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

Этапы процедуры электронного голосования

Под электронным голосованием (electronic voting, e-voting) понимается процесс голосования, в котором электронные технические средства используются по крайней мере на этапе подачи голоса. (определение, данное Советом Европы) Схемы электронного голосования можно условно разделить на: традиционные (conventional) (где голосование производится на избирательных участках, оборудованных специальными техническими средствами) удаленные (remote) (не требующие личной явки избирателя на избирательный участок).

протоколы электронного голосования

Участвуют: избиратель или пользователь (voter, user); клиент (client application); сервер регистрации (registration server); сервер анонимизации (anonymization server); сервер подсчета голосов (vote counting server).

требования к протоколам электронного голосования

анонимность (privacy); корректность (eligibility, correctness, integrity); честность (fairness); верифицируемость (verifiability); всеобщая верифицируемость (universal verifiability); устойчивость (robustness); невозможность контроля (receipt-freeness):.

специфические угрозы, которым подвергаются данные протоколы

нарушение конфиденциальности; фальсификация результатов со стороны избирательной комиссии; скупка голосов.

Выявленные проблемы при разработке протоколов

теоретическое обоснование стойкости протокола с точки зрения требований по информационной безопасности опирается на предположения, которые трудно реализовать на практике протокол обладает высокой (с точки зрения эксплуатируемых технических средств) коммуникационной сложность

протокол электронного голосования формализуется следующим образом

Пусть имеется m участников многостороннего протокола – избирателей Vi, i=1,…,m, каждый из которых вырабатывает свой секрет xi. Необходимо вычислить функцию f, зависящую от этих величин, не разглашая ни одной из них, но делая значение функции f общедоступным. Для определенности каждый отдельно взятый случай применения схемы электронных выборов будем называть электронным голосованием. n – число государственных избирательных комиссий C1,…,Cn .

Известные схемы ЭГ

Схема электронных выборов Merritt, основана на асимметричном шифровании. Схема электронных выборов Cramer-Franklin-Schoenmakers-Yung, основана на функции хэширования. Гомоморфная схема депонирования бюллетеней Педерсена, основана на дискретном логарифмировании.

Проблема возможного контроля над избирателями

Две потенциально возможные ситуации. Первая – принуждение избирателя совершается до начала голосования. Возможная защита – аппаратный ДСЧ Вторая - кто-то пытается контролировать волю избирателя после голосования. Возможная защита – отказуемое шифрование (deniable encryption)

Пример способа тайного голосования, обеспечивающий высокую достоверность результатов

Патент на изобретение №2242793 Способ электронного голосования

Патентообладатель: ОАО «ИнфоТеКС» Приоритет изобретения 06 февраля 2003 г. Зарегистрировано 20 декабря 2004 г.

Типовое представление результатов тайного голосования

Общие итоги

Список проголосовавших

Типовое представление результатов поименного голосования

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

Основная проблема существующих способов голосования заключается в противоречии между следующими двумя требованиями

Достоверность результатов голосования Тайна голосования

Представление результатов голосования для предлагаемого способа

Техническое оснащение: компьютеры, сетевое оборудование, специальное ПО, ЭЦП

1 2 3 4 5 6 Голосующие Центр

Центр получает от голосующего следующую информацию

Голосующий 1

Текущие результаты голосования

Сохраняется в Центре

Центр высылает голосующему свою квитанцию

Сохраняется у голосующего

Голосующий высылает Центру свою квитанцию

Голосование закончено

Конечные результаты голосования

Мой выбор зафиксирован правильно

ЭЦП Голосующего 1 ЭЦП Голосующего 2 ЭЦП Голосующего 6 ЭЦП Голосующего 3 ЭЦП Голосующего 5 …………………. Голосующий 6 Доступно всем

Возможные злоупотребления

Злоупотребления Центра 1. Добавление неголосовавшего избирателя 2. Исключение голосовавшего избирателя 3. Изменение персонального результата Злоупотребления избирателей 4. Избиратель ложно утверждает, что его выбор искажен 5. Избиратель голосовал, но утверждает, что не голосовал, и в список включен неправильно 6. Избиратель не голосовал, но утверждает, что голосовал, и в список не включен неправильно

1. Центр добавил неголосовавшего избирателя

Избиратель, добавленный в список (Голосующий 4), потребует преъявления своей квитанции

4. Избиратель ложно утверждает, что его выбор искажен

У Голосующего 1 имеется квитанция Центра с указание выбора голосующего

Избиратель должен предъявить квитанцию Центра, в которой указан другой выбор голосующего

Задачи программы ускоренного технического переоснащения избирательной системы Российской Федерации (проект от 14 октября 2010 года)

создание системы дистанционного электронного голосования для реализации избирательных прав граждан, не имеющих возможности явиться на избирательный участок; дооснащение избирательных участков комплексами электронного голосования (КЭГ).

Заключение

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

Внедрение технологии электронного голосования в масштабах России является сложнейшей научно-технической задачей. Потребуется разработать и теоретически обосновать протокол электронного голосования, использующий отечественные криптографические примитивы.

Необходима экспериментальная проверка функционирования системы на примере нескольких избирательных округов, начиная с использования ее для проведения муниципальных выборов, с переходом в случае положительных результатов эксперимента на региональный, и только потом – на федеральный уровень.

Спасибо за внимание!