ВВЕДЕНИЕ ..............................................................................................................4
ГЛАВА 1. АНАЛИЗ ПРИНЦИПОВ ПОСТРОЕНИЯ СИСТЕМ
ГОЛОСОВАНИЯ В РЕСПУБЛИКЕ ИРАК И АРАБСКИХ ГОСУДАРСТВАХ 14
1.1 Анализ существующих систем голосования в республике Ирак ............... 14
1.2. Анализ угроз и недостатков существующей системы голосования.......... 23
1.3. Особенности избирательных систем в арабских государствах с
парламентской правовой системой.................................................................... 26
1.4. Актуальность внедрения системы дистанционного электронного
голосования в разных странах............................................................................ 28
1.5. Функциональные требования к системе дистанционного электронного
голосования ......................................................................................................... 35
1.6. Требования по обеспечению информационной безопасности к системе
дистанционного электронного голосования...................................................... 36
1.7. Постановка задачи исследования ................................................................ 38
Выводы по 1-й главе ........................................................................................... 40
ГЛАВА 2. МОДЕЛЬ ПЕРСПЕКТИВНОЙ СИСТЕМЫ ДЭГ ДЛЯ АРАБСКИХ
ГОСУДАРСТВ С ПАРЛАМЕНТСКОЙ ПРАВОВОЙ СИСТЕМОЙ, В ТОМ
ЧИСЛЕ ДЛЯ РЕСПУБЛИКИ ИРАК НА ОСНОВЕ РАСПРЕДЕЛЕННОЙ
СЕТИ БЛОКЧЕЙН-УЗЛОВ С ИСПОЛЬЗОВАНИЕМ СМАРТ-КОНТРАКТОВ42
2.1. Анализ принципов построения современных систем ДЭГ........................ 42
2.1.1. Система ДЭГ на основе микс-сети........................................................... 43
2.1.2. Система ДЭГ на основе слепой подписи ................................................. 46
2.1.3. Система ДЭГ на основе гомоморфного шифрования ............................. 48
2.2. Система ДЭГ на основе технологии блокчейн........................................... 54
2.2.1. Квантово-устойчивый блокчейн (квантовый бдокчейн)......................... 59
2.3. Практические системы ДЭГ ........................................................................ 63
2.4 Анализ особенностей избирательного процесса и угроз при построении
системы ДЭГ для республики Ирак и арабских государств и определение
основных требований информационной безопасности .................................... 71
2.5. Разработка модели перспективной системы ДЭГ в республике Ирак
(арабских государствах) с учетом условий и особенностей избирательного
процесса............................................................................................................... 75
2.6. Определение характеристик блокчейн, используемого в предлагаемой
модели.................................................................................................................. 81
Выводы по 2-й главе ........................................................................................... 84
ГЛАВА 3. РАЗРАБОТКА ПРОТОКОЛА ФУНКЦИОНИРОВАНИЯ
ПЕРСПЕКТИВНОЙ СИСТЕМЫ ДЭГ НА ОСНОВЕ ГОМОМОРФНОГО
ШИФРОВАНИЯ С РАСПРЕДЕЛЕННЫМ ДЕШИФРОВАНИЕМ..................... 86
3.1. Обоснование выбора криптосистемы гомоморфного шифрования для
протокола голосования в перспективной системе ДЭГ республики Ирак ...... 86
3.2. Разработка протокола функционирования системы ДЭГ провинции...... 90
3
3.3. Математическая модель, используемая в протоколе ДЭГ, как основа
выполнения требований безопасности .............................................................. 94
3.4. Анализ угроз в разработанной системе ДЭГ ............................................. 97
3.5. Научно - технические предложения по внедрению разработанной
системы дистанционного электронного голосования..................................... 100
Выводы по 3-й главе ......................................................................................... 104
ГЛАВА 4. МЕТОД ЗАЩИТЫ ОТ АТАКИ НЕКОРРЕКТНОГО
ЗАПОЛНЕНИЯ ИЗБИРАТЕЛЬНОГО БЮЛЛЕТЕНЯ В СИСТЕМЕ
ДИСТАНЦИОННОГО ЭЛЕКТРОННОГО ГОЛОСОВАНИЯ,
ОБЕСПЕЧИВАЮЩИЙ СКРЫТНОСТЬ ВОЛЕИЗЪЯВЛЕНИЯ
ИЗБИРАТЕЛЯ ПО ОТДЕЛЬНЫМ КАНДИДАТАМ И ПО ВСЕМ
КАНДИДАТАМ В ЦЕЛОМ ................................................................................ 106
4.1. Анализ методов проверки корректности заполнения бюллетеня на
основе проверки логарифмов ........................................................................... 106
4.2. Анализ метода проверки корректности заполнения бюллетеня на
основе перемешивания криптограмм бюллетеня............................................ 117
В приложении 4 привелены Примеры формирования и проверки
доказательства корректности заполнения бюллетеня по каждому кандидату
на основе криптосхемы Эль -Гамаля на эллиптической кривой. ...................... 124
4.3. Разработка метода проверки корректности заполнения избирательного
бюллетеня в целом на основе доказательства с нулевым разглашением
секрета, обеспечивающего скрытность общего числа голосов ...................... 124
4.4. Сравнение сложности методов доказательства корректности
заполнения избирательного бюллетеня ........................................................... 127
Выводы по 4-й главе ......................................................................................... 128
ЗАКЛЮЧЕНИЕ.................................................................................................... 130
СПИСОК СОКРАЩЕНИЙ И УСЛОВНЫХ ОБОЗНАЧЕНИЙ......................... 135
СПИСОК ЛИТЕРАТУРЫ.................................................................................... 136
ПРИЛОЖЕНИЕ 1. АКТ О ВНЕДРЕНИИ РЕЗУЛЬТАТОВ
ДИССЕРТАЦИОННОЙ РАБОТЫ...................................................................... 150
ПРИЛОЖЕНИЕ 2. Обзор блокчейн .................................................................... 154
ПРИЛОЖЕНИЕ 3. Примеры построения криптосистем Бенало и Пэйе и их
применения в системе голосования .................................................................... 161
ПРИЛОЖЕНИЕ 4. Примеры формирования и проверки доказательства
корректности заполнения бюллетеня по каждому кандидату на основе
криптосхемы Эль -Гамаля на эллиптической кривой........................................ 167
А) Проверка корректности заполнения бюллетеня методом доказательства с
нулевым разглашением секрета на основе равенства логарифмов ................... 167
Б) Проверка корректности заполнения бюллетеня методом доказательства с
нулевым разглашением секрета на основе перемешивания криптограмм
бюллетеня ............................................................................................................. 171
С) Проверка корректности заполнения бюллетеня методом доказательства с
нулевым разглашением секрета на основе равенства логарифмов для всех
кандидатов по предлагаемому методу на основе криптосхемы Эль -Гамаля
на в поле GF(p). .................................................................................................. 175
