Артикул: 1083888
Раздел:Технические дисциплины (59662 шт.) >Информационные системы (745 шт.)
Название или условие:
Построение и анализ протокола электронного голосования (научно-исследовательская работа)
Описание:
Ключевые слова: ЭЛЕКТРОННЫЕ ВЫБОРЫ, BAN-ЛОГИКА, ТАЙНОЕ ЭЛЕКТРОННОЕ ГОЛОСОВАНИЕ, СЛЕПАЯ ПОДПИСЬ.
Цель работы – построение математической модели электронного голосования с доказательством на основе формального анализа с применением BAN-логики. В процессе работы выполнялось исследование существующих математических моделей электронных выборов.
Перечень используемых сокращений 7
ВВЕДЕНИЕ 8
ОСНОВНАЯ ЧАСТЬ 9
1.Требования к электронному голосованию 9
1.1.Формирование требований к электронному голосованию 9
1.2.Обоснование выбранного метода шифрования 10
2. Исследование существующих моделей голосования 11
2.1.Традиционные системы голосования 11
2.1.Криптографические протоколы голосования 12
2.2.Безопасные выборы 13
2.2.1.Упрощенный протокол голосования №1 13
2.2.2.Упрощенный протокол голосования №2 13
2.3.Протоколы двух агентств 14
2.4.Протоколы на основе подписи вслепую 15
2.5.Протокол Sensus 17
2.5.1.История и краткое описание 17
2.5.2Модули Sensus 18
2.5.3.Регистратор 19
2.5.4.Сборщик 20
2.5.5.ЦУР 21
2.5.6.ЦИК 21
2.6.Безопасный протокол голосования со слепыми подписями 21
2.6.1.Этап регистрации 22
2.6.2.Этап передачи (предоставления) открытого ключа 23
2.6.3.Этап голосования 23
3.Разработка способа электронного голосования 24
3.1.Описание разработанного способа голосования 24
3.2.Алгоритм RSA : 25
3.3.Описание подходов к голосованию 26
3.4.Структурная схема электронного голосования 27
4. Разработка математической модели системы электронного голосования 28
4.1. Предложения по усовершенствованию протокола голосования с разделением 28
4.2. Протокол тайного электронного голосования 34
4.3. Формальный анализ протокола голосования 39
5. Разработка системы электронного голосования 46
5.1. Функции системы тайного электронного голосования 47
5.2. Структура программного комплекса 48
5.3. Физическая реализация программного комплекса 50
5.3.1. Подсистема управления процессом выборов 50
5.3.2. Подсистемы счетных комиссий 52
5.3.3. Подсистема избирателя 53
ЗАКЛЮЧЕНИЕ 54
Список используемых источников 55
Процесс покупки очень прост и состоит всего из пары действий:
1. После нажатия кнопки «Купить» вы перейдете на сайт платежной системы, где можете выбрать наиболее удобный для вас способ оплаты (банковские карты, электронные деньги, с баланса мобильного телефона, через банкоматы, терминалы, в салонах сотовой связи и множество других способов)
2. После успешной оплаты нажмите ссылку «Вернуться в магазин» и вы снова окажетесь на странице описания задачи, где вместо зеленой кнопки «Купить» будет синяя кнопка «Скачать»
3. Если вы оплатили, но по каким-то причинам не смогли скачать заказ (например, случайно закрылось окно), то просто сообщите нам на почту или в чате артикул задачи, способ и время оплаты и мы отправим вам файл. Условия доставки: Получение файла осуществляется самостоятельно по ссылке, которая генерируется после оплаты. В случае технических сбоев или ошибок мозно обратиться к администраторам в чате или на электронную почту и файл будет вам отправлен. Условия отказа от заказа: Отказаться возможно в случае несоответсвия поулченного файла его описанию на странице заказа. Возврат денежных средств осуществляется администраторами сайта по заявке в чате или на электронной почте в течении суток.
Похожие задания:
