Помощь в учёбе, очень быстро...
Работаем вместе до победы

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

ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

Одним из таких процессов, которые необходимо автоматизировать, является проведение тайного голосования, например, на совете акционеров какой-либо крупной компании, при голосовании в больших компаниях, имеющих распределенную структуру, в любой организации, где периодически проводятся голосования, в том числе в учебных заведениях при проведении текущих выборов профессорско-преподавательского… Читать ещё >

Содержание

  • 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. Выводы

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

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

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

Создание системьъ электронного голосования позволит не только автоматизировать процесс выборов, но й существенно сократить расходы на выборы, повысить скорость и уменьшить вероятность ошибок в подсчете голосов. Подобная система должна отвечать ряду требований, среди которых [36, 28, 30,37,51]:

1. Обеспечение тайны (анонимности) волеизъявления участника голосования.

2. Обеспечение одноразового учета голоса участника голосования.

3. Предотвращение возможности дублирования голоса какого-то другого участника выборов.

4. Обеспечение строгой однозначной идентификации участников голосования.

5. Обеспечение достоверности переданных сообщений (например, использование электронно-цифровых подписей).

6. Обеспечение корректности подсчета конечного результата.

7. Обеспечение возможности проверки любым из участников, что результат подсчитан правильно.

8. Обеспечение работоспособности протокола в случае, когда некоторые из его участников нечестны.

9. Обеспечение бесперебойной работы программно-технических средств.

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

Для выполнения этих требований не существует общепринятых алгоритмов. Однако имеется ряд работ в данной области и реализованные и опробованные системы электронного голосования.

В первую очередь в диссертации, рассматриваются вопросы проведения электронного голосования’в, организациях. Системы электронного голосования для организаций на данный" момент представлены, системами, в. которых голос подается1 с помощьюшажатия кнопки на пульте-голосования или выбора соответствующего пункта голосования на терминале. Такие системы предназначены, для проведения интерактивных опросов и представляют собой лишь средство учета поданных голосов. А в связи с тем, что алгоритмы работы таких систем представляют собой коммерческую тайну и производителями не разглашаются, у пользователей не может быть никаких гарантий в анонимности.

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

К разработкам, в которых требование анонимности не просто обязательно, а является основополагающим, относятся системы электронного голосования для' государственных выборов. В настоящее время в некоторых странах есть опыт внедрения и использования подобных систем. Например, в Эстонии с осени 2005 года муниципальные выборы проводятся через Интернет [1, 29], в Казахстане система электронного голосования «Сайлау», закупленная в Белоруссии, впервые испытывалась на 10% избирательных участков на выборах депутатов в 2004;м году и с тех пор активно внедряется по всей республике [2]. Внедряемые в России в. рамках проекта «ГАС Выборы» двумерные считыватели заполненных бюллетеней КОИБ. автоматизируют лишь процедуру подсчета результатов по* участку и" имеют высокую стоимость (около* 70,0 тыс. руб.). В ряде регионов Л 2-го октября? 2008 года по> инициативе Тульской* областной избирательной комиссии, поддержанной, центральной избирательной комиссией России, в порядке' эксперимента было пррведено электронное' голосование, для*- которого использовались возможности сети Интернет [8]. Для тоге чтобьь принять участие в электронном голосовании, избирателю1 необходимо было получить специальный диск электронного опроса и воспользоваться любым компьютером" с выходом в интернет. Этой системой воспользовалось 5,4% от общего' количества граждан, принявших участие в выборах. Позже этот эксперимент был повторен 1 марта 2009 года в Вологодской, Волгоградской и Томской областях, а также 11 октября 2009 года в городе Кингисепп Ленинградской области. К возможности проголосовать с использованием диска электронного опроса добавились технологии голосования с использованием мобильного телефона и электронной социальной карты. Однако эти технологии не подходят, например, для выборов всероссийского масштаба, в первую очередь потому, что задачей экспериментов являлось, прежде всего, изучение отношения избирателей к новым формам голосования, и поэтому выполнение перечисленных выше требований было далеко не самым важным. Таким образом, в России нет разработанной и готовой для внедрения системы тайного электронного голосования, позволяющей осуществлять подачу голоса и его подсчет в электронном виде. [1−3].

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

Целью диссертационной работы является создание системы, позволяющей проводить тайное голосование (анонимный соцопрос) в электронном виде и удовлетворяющей всем предъявляемым к таким системам требованиям. Для достижения указанной цели решаются следующие основные задачи:

1. Проведение системного анализа предметной области (существующих алгоритмов1 и систем проведения электронных выборов, соцопро-сов).

2. Разработка необходимого математического аппарата для* его реализации в системе тайного электронного голосования (анонимного социологического опроса).

3. Определение требуемых структурных элементов разрабатываемой системы.

4. Реализация-системы проведения электронных выборов (анонимных социологических опросов) на основе разработанного для нее математического аппарата и выделенных структурных элементов.

5. Разработка структурной модели системы электронного голосования масштаба нашей страны.

Объектом исследования являются процессы, происходящие в системах и протоколах электронного голосования.

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

Методы исследования, использовавшиеся в работе: системный анализ, математическое моделирование, методы формального анализа криптографических протоколов, криптоанализ.

Научная новизна.

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

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

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

Практическую значимость работы составляют:

Г. Разработанный^ протокол электронного голосования, который можно использовать для «создания программ проведения тайного электронного голосования (анонимного соцопроса).

2. Созданный программный комплекс «Система защищенного электронного голосования», позволяющий проводить тайные электронные голосования и анонимные социологические опросы в локальной вычислительной сети.

3. Использование основных результатов работы в ВолгГТУ, ЗАО «ЭнергоАльянс», ООО «Радеж».

На защиту выносятся следующие результаты исследований:

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

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

3. Модель системы электронного голосования, которую возможно использовать в выборах масштаба нашей страны.

На созданный программный комплекс «Система защищенного электронного голосования» оформлена и подана заявка № 2 010 616 696 на получение свидетельства о регистрации программы в Федеральной службе по интеллектуальной собственности, патентам и товарным знакам (Роспатенте). Реализованный программный комплекс применяется при проведении голосований на собраниях акционеров в ЗАО «ЭнергоАльянс», а так же при проведении социологических опросов студентов ВолгГТУ, персонала ООО «Радеж».

Основные положения работы докладывались и обсуждались в ходе научных семинаров кафедры «ЭВМ и систем» ВолгГТУ, а так же на региональных, всероссийских, и> международных конференциях (III' Региональная научно-практическая конференция «Проблемы обеспеченияинформационной безопасности в регионе» Волгоград, 2010; «Инновационные технологии в управлении, образовании, промышленности- «АСТИНТЕХ», Астрахань, 2008, 2009, 2010; «Информационные технологии в науке, образовании, телекоммуникации, и бизнесе 1 Т + Э&Е», Ялта — Гурзуф, 2009; 2010, 2010 осень)! По теме диссертации, опубликовано 10'печатных работ, в том? числе 5 в, центральных изданиях.

Диссертационная работа состоит из следующих частей:

Во введении обоснована актуальность исследования, сформулирована цель работы, перечислены задачи, решаемые в рамках данной’работы, определены объект и предмет исследования, выделены методы исследования, научная новизна и практическая значимость работы.

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

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

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

В четвертой главе описывается разработка структурной модели возможной системы электронного голосования масштаба страны. В основе этой системы лежит разработанный протокол электронного голосования.

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

4.6. Выводы.

По результатам проделаннойработы^ получена структурная' модель системы голосования-масштаба" государства, которая наряду с высоким уровнем автоматизации процесса голосования отвечает всем предъявляемым к системам голосования требованиямСистема имеет иную структуру, по сравнению с системой электронногоголосования^ для" локальной вычислительной сети.

Однако-вразработанной, модели имеются-недоработки, связанные с невозможностью решить или исследовать в рамках диссертационной работы некоторые вопросы.

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

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

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

Заключение

.

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

В работе получены следующие теоретические и практические результаты:

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

2. Выполнение требований, предъявляемых к созданному протоколу голосования, обосновано его формальным анализом, проведенным с использованием BAN-логики.

3. Создан программный комплекс «Система^защищенного электронного голосования», пред назначенный^ для, использования в локальных вычислительных сетях, в котором реализован разработанный математический аппарат. На созданный программный комплекс оформлена^ и подана заявка № 2 010 616 696 на-свидетельство о регистрации в Федеральной службе по интеллектуальной собственности, патентам и товарным знакам (Роспатенте).

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

5. Созданный программный комплекс применяется при проведении голосований на собраниях акционеров в ЗАО «ЭнергоАльянс».

6. Созданный программный комплекс используется для проведения анонимных социологических опросов на факультете экономики и управления ВолгГТУ и в компании ООО «Радеж».

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

Однако разработанная структурная модель системы электронного голосования масштаба страны является предметом дальнейших разработок и исследований. Это связано с невозможностью в рамках диссертационной работы решить вопрос использования электронных паспортов гражданами Российской Федерации. Кроме того необходимо исследовать какое количество счетных комиссий оптимально для конкретной реализации системы, а так же исследовать вопрос безотказного функционирования подсистем счетных комиссий.

Показать весь текст

Список литературы

  1. «Обзор Системы Электронного Голосования, НИК Эстонии.» Национальная Избирательная Комиссия Эстонии. Таллин 20 052. «Электронные выборы: опасение фальсификации результатов.» Kazakhstan today 2004 г.
  2. В.Ю., Воронецкий М. А., Липень Д. В. «Результаты апробирования технологий и систем электронного голосования.» United Institute of Informatics Problems NASB 2002.
  3. H. Смарт «Мир программирования. Криптография.» Москва: Техносфера, 2005.
  4. Б. Шнайер «Прикладная криптография. 2-е издание.» Москва: Триумф, 2002.
  5. Ю. Лифшиц «Электронные выборы» 2005.
  6. А. Саломаа «Криптография с открытым ключом» Москва: Мир 1995
  7. В.В., Варновский Н. П., Нестеренко Ю. В. «Введение в криптографик») 3-е изд., испр. Санкт-Петербург: Питер, 2001.
  8. С.Г., Гончаров В.В-, Серов P.E. Основы современной крипто-(графии, 2-е изд., перераб. и дополн. М.: Горячая линия Телеком", 2002.
  9. А. Ю. Зубов «Совершенные шифры» Москва: «Гелиос АРВ», 2003.
  10. В.М. Фомичев «Дискретная математика и криптология» Москва: Диалог МИФИ, 2003.
  11. П. Исаев «Криптографические алгоритмы» http://www.compress.ru/article.aspx?id=10 110&iid=420. Журнал «Компьютер пресс», № 3 2003
  12. C.B. «Криптографические протоколы и их применение в финансовой и коммерческой деятельности» Москва: Горячая Линия — Телеком, 2007.
  13. О.Н. Василенко «Теоретико-числовые алгоритмы в криптографии» М.:МЦНМО, 2003.
  14. Венбо Мао «Современная криптография. Теория и практика» Москва: Вильяме, 2005.
  15. . «Методы и алгоритмы вычислений — на строках» Москва: Вильяме, 2006.
  16. Аграновский А- В., Хади Р. А. «Практическая криптография: алгоритмыи их программирование» Москва: Солон-пресс, 2009. 22- Фороузан Б. А. «Криптография и безопасность сетей Учебное пособие» Москва: Интернет-университет информационных технологий, 2010.
  17. А.Ю. Стандарты аутентификации и ЭЦП России и США. Технологии и средства связи № 3, 2003.
  18. Б. Кристальный, Ю. Фонтанов «Электронные» выборы: Москва плетется в хвосте" http://www.cnews.ru/reviews/index.shtml72005/12/02/19 2670l, 2005.
  19. Л. Приходько. «Зарубежный опыт использования и правового обеспечения электронного голосования» Библиотека диссертаций, http://www.disser.li 10.ru/artical/prihodkoL4.html
  20. Я. Некрасов «Выборы по карточкам» Журнал Огонек, http://www.ogoniok.com/4920/20/
  21. Центр безопасного Интернета в России. 2009
  22. A.B. Павлушкин, А.Е. Постников1 «Правовой механизм дистанционного1. электронного голосования (Анализ возможностей модели)» «Журналроссийского права» № 11, 2009.
  23. A.A. «Международно-правовой и зарубежный опыт применения электронных средств голосования при проведении выборов» Журtнал «Международное публичное и частное право». № 5. 2006.
  24. A.A. «Проблемы использования Интернета на выборах в Российской Федерации» Журнал «Информационное право». № 3. 2006.1
  25. Е.О. «Зарубежный опыт электронного голосования-на вы* борах» Журнал «Конституционное и муниципальное право». N 21. 2008. j t
  26. И.А. «Зарубежный- опыт, проведения, интернет-выборов и протt блемы для России» Журнал «Информационное право». N 2. 2007.
  27. И. Б. Голосование с помощью Интернета // Журнал о выборах, 3, 2006. к
  28. А. Андреев «Особенности и проблемы электронного голосования» Мо1. J сква: ГУ МФТИ, 2005. ii
  29. О.Г., Мичкивский С. Н. «Модель квантового протокола голосо1.вания» Донецк: ДонНТУ, 2005.1
  30. Б.А. Макаров «Альтернативы, голосования: Интернет или бюллетень?"i http://www.tarasei.narod.ni/read/st2003.6.htm Москва: Московский радио1тельными бюллетенями.» Журнал «Политический маркетинг», № 1,i /2002г
  31. П. «Критерии безопасности для систем электронного голосования» http://www.mexnap.info/articles.php?articleid=609, 2009
  32. Тэд Сэлкер. «Электронное голосование» Журнал «В мире науки» № 1, 2005.
  33. Е. Алехова «Система тайного электронного голосования на базе локальной сети» http://technomag.edu.ru/doc/44 988.html, Журнал «Наука и образование», 2004.
  34. Е. Жигало «Электронные системы для голосования и подсчета голосов"http://www.mobimag.ru/Articles/2757/YelektronnyesistemydlyagolosovУaniyaipodschetagolosov.htm Журнал „МоЫ“, 2008
  35. D. Chaum, Blind signatures for untraceable payments, Advanced in Cryp-tology Proceedings of Crypto 82, 1983.
  36. D. Chaum, Blind Signature Systems, U.S. Patent<4,759,063, 19 Jul 1988.
  37. D. Chaum, Blind Unanticipated Signature Systems, U.S. Patent 4,759,064, 19 Jul 1988.
  38. D. Pointcheval, J. Stern, Provably Secure Blind Signature, Lectures Notes in Computer Science, 1163, 1996, Springer, p. 252−265.
  39. B. Schneier, Applied Cryptography: Protocols, Algorithms, and Source Code in C, John Wiley&Sons, New York, 2nd edition, 1996.
  40. A. J. Menezes, P. C. Van Oorshot, S. A. Vanstone, Handbook of Applied Cryptography, CRC Press, 1996.
  41. T. Kohno, A. Stubblefield „Analysis of an Electronic Voting System“ IEEE Symposium on Security and Privacy, 2004
  42. Nirwan Ansari, Pitipatana Sakarindr, Ehsan Haghani, Chao Zhang, Andaman K. Jain, Yun Q. Shi. Evaluating electronic voting systems equipped with voter-verified paper records. IEEE Security and Privacy, 2008. i 1 124s
  43. Canard S. s Traore J. „List Signature Schemes Application to Electonic Vot-t ing“ WCC, 2003.
  44. Adam Aviv, Pavol Cerny, Sandy Clark, Micah Sherr Eric Cronin, Gaurav
  45. Shah, Matt Blaze. „Security Evaluation of ES&S Voting Machines and Elecj tion Management System“. In In Proc. of the Usenix/Accurate Electronic
  46. Voting Technology Workshop, 2008.
  47. Davide Balzarotti, Greg Banks, Marco Cova, Viktoria Felmetsger, Richard { Kemmerer, William Robertson, Fredrik Valeur, Giovanni Vigna. „Are Your
  48. Votes Really Counted? Testing the Security of Real-world Electronic Voting „Systems. In Proceedings of the International Symposium on Software Testingand Analysis“ (ISSTA), 2008.
  49. St’ephanie Delaune, Steve Kremer, Mark D. Ryan“. „Verifying Privacy-type
  50. Properties of Electronic Voting“ Protocols» Research Report LSV-08−01, La-| boratoire Specification et Verification, ENS
  51. Checklist" Election Systems & Software Inc. (ES&S), 2007.
  52. Tadayoshi Kohno, Adam Stubblefield, Aviel D. Rubin, Dan S. Wallach. «Analysis of an Electronic Voting System» Security and Privacy, IEEE Symposium, 2004.
  53. Matt Bishop, David Wagner. «Risks of e-voting» Commun. ACM, 50(11), 2007.
  54. P. McDaniel, M. Blaze, G. Vigna. «EVEREST: Evaluation and Validation of Election-Related Equipment, Standards and Testing». Ohio Secretary of State’s EVEREST Project Report, 2007.
  55. Anne-Marie Oostveen, Peter Van den Besselaar. «Security as Belief User’s Perceptions on the Security of E-Voting Systems. In Electronic Voting in Europe», 2004.
  56. Alexander Prosser, Robert Kofler, Robert Krimmer, Martin Karl Unger. «Security assets in e-voting. In Alexander Prosser and Robert Krimmer, editors, Electronic Voting in Europe», volume 47 of LNI, GI, 2004.
  57. Ryan Gardner, Sujata Garera, Aviel D. Rubin. «On the Difficulty of Validating Voting Machine Software with Software». In EVT'07: Proceedings of the USENIX/Accurate Electronic Voting Technology, Berkeley, CA, USA, 2007.
  58. Melanie Volkamer, Robert Krimmer. «Independent audits of remote electronic voting developing a common' criteria protection profile». In Proceedings der EDEM 2007 Elektronische Demokratie in sterreich, 2007.
  59. Komminist Weldemariam, Adolfo Villafiorita. «Modeling and Analysis of Procedural Security in (e)Voting: The Trentino’s^ Approach and Experiences». In David L. Dill and Tadayoshi Kohno, editors, EVT. USENIX Association, 2008.
  60. M. Bellare, A. Desai, E. Jokipii, and P. Rogaway. A concrete security treatment of symmetric encryption. In Proceedings of the 38th Annual Symposium on Foundations of Computer Science, pages 394−403. IEEE Computer Society Press, 1997.
  61. California Internet Voting Task Force. A Report on the Feasibility of Internet Voting, Jan. 2000. http://www.ss.ca.gov/executive/ivote/.
  62. Voting: What Is- What Could Be. http://www.vote.caltech.edu/Reports/, July 2001.
  63. D. Chaum. Secret-ballot receipts: True voter-verifiable elections. IEEE Security and Privacy, 2(l):38−47, 2004.
  64. Compuware Corporation. Direct Recording Electronic (DRE) Technical Security Assessment Report. http://www.sos.state.oh.us/sos/hava/files/compuware.pdf, Nov. 2003.
  65. J. Daemen and V. Rijmen. The Design of Rijndael: AES-The Advanced Encryption Standard. Springer-Verlag, Berlin Germany, 2002. v
  66. Diebold Election Systems. AVTSCE source tree. http://users.actrix.co.nz/dolly/Vol2/cvs.tar.12, 2003
  67. D. L. Dill, R. Mercuri, P. G. Neumann, and’D. S. Wallach. Frequently Asked Questions about DRE Voting Systems. http://www.verifiedvoting.org/drefaq.asp, Feb. 2003.
  68. Federal Election Commission. Voting System Standards, 2001. http://fecwebl.fec.gov/pages/vss/vss.html.
  69. J. Gilmore, editor. Cracking DES: Secrets of Encryption Research, Wiretap Politics & Chip Design. O’Reilly, July 1998.
  70. D. Gritzalis, editor. Secure Electronic Voting. Springer-Verlag, Berlin Germany, 2003.
  71. B. Harris. Black Box Voting: Vote Tampering in the 21st Century. Elon House/Plan Nine, July 2003.
  72. T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Cheney, and Y. Wang. Cyclone: A safe dialect of C. In USENIX Annual Technical Conference, June 2002.
  73. D. W. Jones. Problems with Voting Systems and the Applicable Standards,. Testimony before the U.S. House of Representatives' Committee on Science, http://www.cs.uiowa.edu/~jones/voting/congress.html, May 2001.
  74. D. W. Jones. The Case of the Diebold FTP Site, http://www.cs.uiowa.edu/"jones/voting/dieboldfitp.html, July 2003.
  75. A. Kerckhoffs. La Cryptographie Militaire. Libraire Militaire de L. Baudoin 8c Cie, Paris, 1883.
  76. R. Mercuri. Electronic Vote Tabulation Checks and Balances. PhD thesis, University of Pennsylvania, Philadelphia, PA, Oct. 2000:
  77. National Science Foundation. Report on the National Workshop on Internet Voting: Issues and1 Research Agenda. http://news.fmdlaw.com/cnn/docs/voting/nsfe-voterprt.pdf, Mar. 2001.
  78. NBS. Data encryption standard. Federal Information Processing Standards Publication, January 1977.
  79. J. Nechvatal, E. Barker, L. Bassham, W. Burr, M. Dworkin, J. Foti, and E. Roback. Report on the Development of the Advanced Encryption Standard (AES), Oct. 2000.
  80. RABA Innovative Solution Cell. Trusted Agent Report: Diebold AccuVote-TS Voting System,. http://www.raba.com/press/TAReportAccuVote.pdf, Jan. 2004.
  81. A. D. Rubin. Security considerations for remote electronic voting. Communications of the ACM- 45(12):39−44, http://avirubin.com/e-voting.security.html, Dec. 2002.
  82. В. Schneier. Applied Cryptography: Protocols, Algorithms, and Source Code in C. John Wiley &Sons, New York, second edition, 1996.
  83. Science Applications International Corporation. Risk Assessment Report: Di-ebold AccuVote-TS Voting System and Processes. http://www.dbm.maryland.gov/SBE, Sept. 2003.
  84. А.П., Зубов А. Ю., Кузьмин А. С., Черемушкин А. В. Основы криптографии. Ы.: Гелиос АРВ, 2002.
  85. Б. Анин, Защита компьютерной информации. Санкт-Петербург: BHV-СПб, 2003.
  86. Акт внедрения ЗАО «ЭнергоАльянс».
  87. И.1184,1 Час кия, у I. Ы> н. пмн 1аы|нкая. ь ЛО, те I уопумЦ «Ь/г ул г"1. АКТо «псдреппп программно! о обеспечения «Система защищенного) лек| ронжи о 1 о. юсовании»
  88. Настоящий акт о внедрении свидетельетует. о гом. чга программное обеспечение -(Спасла защищенною -«екфонною юлосованпя». разработанное Македонским Сергеем Александровичем, внедрено и ЗЛО «ОНЕРГОЛЛЬЯНС» с 5 июля 2010 1.
  89. В чоде эксплуатации программы было подтверждено. что она ооладае! всеми заявленными во1чожнооями. сочетая их с удобством эксплуатации и высокой скорое и, ю рабош. еперальньш директор ^ ^ ^Л^Щ^К^.- Л Л ВолковасН
Заполнить форму текущей работой