Ж.Н. Дакуо , С.В. Беззатеев , В. В. Давыдов , И.Д. Иогансон , А.Ф. Хуцаева
201-212
2026-09-10
Аннотация ▼
Существующие протоколы электронного голосования, как правило, обладают архитектурой, в которой отправка бюллетеня является необратимым действием. Такой подход ограничивает удобство использования системы, поскольку участник не может исправить случайную ошибку или изменить свое решение в течение периода голосования без прохождения повторной процедуры аутентификации либо аннулирования ранее поданного бюллетеня. Целью настоящей работы является разработка теоретической модели криптографического протокола электронного голосования, обеспечивающей нативную возможность многократного изменения решения для повышения удобства использования при сохранении анонимности и корректности подсчета. Архитектура предлагаемой модели основана на совместном использовании схемы обязательств с потайным входом для реализации свойства изменения решения, проверяемой случайной функции (VRF) для формирования бюллетеней, протокола Privacy Pass для анонимной авторизации участников и смешанных сетей (Mix-Nets), обеспечивающих сокрытие связи между пользователем и передаваемыми сообщениями. Разработан протокол электронного голосования, позволяющий участнику неоднократно изменять свое решение без повторного обращения к центру регистрации после получения права на участие в голосовании, что уменьшает количество интерактивных действий и повышает удобство использования системы. Проведен теоретический анализ стойкости предложенной модели, подтверждающий выполнение основных и ряда расширенных свойств, включая, полноту, устойчивость, приемлемость, проверяемость, конфиденциальность участника, одноразовость, справедливость, атомарную и универсальную проверяемость, а также возможность изменения решения. Благодаря модульной архитектуре модель допускает применение различных криптографических примитивов, включая постквантовые алгоритмы, без изменения общей логики функционирования протокола, что делает предложенный подход перспективной основой для построения защищенных систем электронного голосования, стойких к атакам квантового компьютера.
