Исследование процессов передачи информации в системе электронного голосования и социологического опроса

• Автор: Македонский, Сергей Александрович
• Шифр специальности: 05.13.01
• Научная степень: Кандидатская
• Год защиты: 2010
• Место защиты: Волгоград
• Количество страниц: 134 с. : ил.

1. Исследование систем и протоколов проведения электронного голосования и социологического опроса.
1.1. Исследование систем проведения электронного голосования и социологического опроса.

1.1.1. Исследование системы электронного голосования Эстонии

1.1.2. Исследование системы электронного голосования Казахстана

1.1.3. Исследование системы электронного голосования России.

1.2. Исследование протоколов проведения электронного голосования и социологического опроса.

1.2.1. Исследование протоколов голосования с перемешиванием.

1.2.2. Исследование протоколов голосования с применением слепой подписи.

1.2.3. Исследование протокола голосования с разделением.

1.3. Выводы.

2. Разработка математической модели системы электронного голосования и социологического опроса.
2.1. Предложения по усовершенствованию протокола голосования С разделением
2.2. Протокол тайного электронного голосования
2.3. Формальный анализ протокола голосования
2.4. Выводы.
3. Разработка системы электронного голосования и социологического опроса для использования в организациях
3.1. Функции системы тайного электронного голосования.
3.2. Структура программного комплекса.
3.3. Физическая реализация программного комплекса.
3.3.1. Подсистема управления процессом выборов
3.3.2. Подсистемы счетных комиссий
3.3.3. Подсистема избирателя
3.4. Применение программного комплекса для проведения тайного
голосования
3.5. Применение профаммного комплекса для проведения анонимного
социологического опроса.
3.6. Выводы.
4. Структурная модель системы электронного голосования масштаба страны
4.1. Обобщенная структура системы электронного голосования
4.2. Подсистема центральной избирательной комиссии управления
выборами
4.3. Подсистема удостоверяющих центров.
4.4. Подсистема счетных комиссий.
4.5. Подсистема избирателя.
4.6. Выводы
Заключение
Библиофафический список
Приложение 1.
Приложение 2.
. Приложение 3.
Приложение 4.
риложение
Приложение 6.
УСЛОВНЫЕ ОБОЗНАЧЕНИЯ И СОКРАЩЕНИЯ
КОИБ комплексы обработки избирательных бюллетеней
Г АС Выборы государственная автоматизированная система Выборы
ЦИК центральная избирательная комиссия
НИК национальный избирательный комитет
ЭЦП электронноцифровая подпись
СПГ сервер, пересылающий голоса
СХГ сервер хранения голосов
ПК персональный компьютер
ППГ программа по подсчету голосов
АМСБ аппаратный модуль системы безопасности
I iiii
ПИИ персональный идентификационный номер
АИС автоматизированная информационная система
ИИН индивидуальный идентификационный номер
БД база данных
Iкарта идентификационная карта
ОИПИ ИАН Беларуси объединенный институт проблем информатики национальной академии наук Беларуси ДЭО диск для электронного опроса
БИ ДЭО блок идентификации диска для электронного опроса СК счетная комиссия
Введение


Предметом исследования является соответствие существующих систем проведения электронного голосования предъявляемым к ним требованиям и возможность их реализации и использования в различных условиях. Методы исследования, использовавшиеся в работе системный анализ, математическое моделирование, методы формального анализа криптографических протоколов, криптоанализ. Предложена новая версия протокола голосования с разделением, которая в отличие от существующей версии протокола, позволяющего производить выбор одного варианта из двух, позволяет проводить тайное голосование произвольной формы осуществлять выбор одного или нескольких вариантов из многих, а также не превышающих заданное количество. Предложено доказательство выполнения предъявляемых к разработанному протоколу требований, основанное на проведении его формального анализа, результаты которого позволяют утверждать, что протокол обеспечивает тайну волеизъявления и достоверность результатов голосования. Предложена новая структурная модель системы электронного голосования, основанной на разработанном математическом аппарате, которую можно использовать для проведения электронного голосования в нашей стране. Созданный программный комплекс Система защищенного электронного голосования, позволяющий проводить тайные электронные голосования и анонимные социологические опросы в локальной вычислительной сети. Использование основных результатов работы в ВолгГТУ, ЗАО ЭнергоАльянс, ООО Радеж. Математическая модель протокола электронного голосования. Модель системы электронного голосования, которую возможно использовать в выборах масштаба нашей страны. На созданный программный комплекс Система защищенного электронного голосования оформлена и подана заявка на получение свидетельства о регистрации программы в Федеральной службе по интеллектуальной собственности, патентам и товарным знакам Роспатенте. Реализованный программный комплекс применяется при проведении голосований на собраниях акционеров в ЗАО ЭисргоАльянс, а так же при проведении социологических опросов студентов ВолгГТУ, персонала ООО Радеж. Основные положения работы докладывались и обсуждались в ходе научных семинаров кафедры ЭВМ и систем ВолгГТУ, а так же на региональных, всероссийских и международных конференциях ИГ Региональная научнопрактическая конференция Проблемы обеспечения информационной безопасности в регионе Волгоград, Инновационные технологии в управлении, образовании, промышленности АСТИНТЕХ, Астрахань, , , Информационные технологии в науке, образовании, телекоммуникации и бизнесе ГГ БЕ, Ялта Гурзуф, , осень. По теме диссертации. Во введении обоснована актуальность исследования, сформулирована цель работы, перечислены задачи, решаемые в рамках данной работы, определены объект и предмет исследования, выделены методы исследования, научная новизна и практическая значимость работы. В первой главе дается общая характеристика существующих систем электронного голосования и социологического опроса, принципов их функционирования и организации работы с ними. Во второй главе описана разработка математической модели протокола электронного голосования, в которой устранены недостатки свойственные уже существующим протоколам. Для доказательства выполнения в разработанном протоколе предъявляемых к нему требований проводится его формальный анализ. В третьей главе дается общее описание подсистем, которые необходимы для функционирования системы тайного электронного голосования, использующей разработанный протокол в условиях локальных вычислительных сетей. Так же в этой главе описывается создание программного комплекса Система защищенного электронного голосования, приводятся примеры практического применения разработанного программного средства для проведения тайных голосований и анонимных социологических опросов. В четвертой главе описывается разработка структурной модели возможной системы электронного голосования масштаба страны. В основе этой системы лежит разработанный протокол электронного голосования. В заключении обобщаются основные теоретические и практические результаты, полученные в диссертационной работе, выделяются возможные направления дальнейших исследований.