Исследование процессов передачи информации в системе электронного голосования и социологического опроса
Диссертация
Одним из таких процессов, которые необходимо автоматизировать, является проведение тайного голосования, например, на совете акционеров какой-либо крупной компании, при голосовании в больших компаниях, имеющих распределенную структуру, в любой организации, где периодически проводятся голосования, в том числе в учебных заведениях при проведении текущих выборов профессорско-преподавательского… Читать ещё >
Содержание
- 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. Выводы
- 1. 1. Исследование систем проведения электронного голосования и социологического опроса
- 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. Выводы
Список литературы
- «Обзор Системы Электронного Голосования, НИК Эстонии.» Национальная Избирательная Комиссия Эстонии. Таллин 20 052. «Электронные выборы: опасение фальсификации результатов.» Kazakhstan today 2004 г.
- Липень В.Ю., Воронецкий М. А., Липень Д. В. «Результаты апробирования технологий и систем электронного голосования.» United Institute of Informatics Problems NASB 2002.
- H. Смарт «Мир программирования. Криптография.» Москва: Техносфера, 2005.
- Б. Шнайер «Прикладная криптография. 2-е издание.» Москва: Триумф, 2002.
- Ю. Лифшиц «Электронные выборы» 2005.
- А. Саломаа «Криптография с открытым ключом» Москва: Мир 1995
- Ященко В.В., Варновский Н. П., Нестеренко Ю. В. «Введение в криптографик») 3-е изд., испр. Санкт-Петербург: Питер, 2001.
- Баричев С.Г., Гончаров В.В-, Серов P.E. Основы современной крипто-(графии, 2-е изд., перераб. и дополн. М.: Горячая линия Телеком", 2002.
- А. Ю. Зубов «Совершенные шифры» Москва: «Гелиос АРВ», 2003.
- В.М. Фомичев «Дискретная математика и криптология» Москва: Диалог МИФИ, 2003.
- П. Исаев «Криптографические алгоритмы» http://www.compress.ru/article.aspx?id=10 110&iid=420. Журнал «Компьютер пресс», № 3 2003
- Запечников C.B. «Криптографические протоколы и их применение в финансовой и коммерческой деятельности» Москва: Горячая Линия — Телеком, 2007.
- О.Н. Василенко «Теоретико-числовые алгоритмы в криптографии» М.:МЦНМО, 2003.
- Венбо Мао «Современная криптография. Теория и практика» Москва: Вильяме, 2005.
- Смит Б. «Методы и алгоритмы вычислений — на строках» Москва: Вильяме, 2006.
- Аграновский А- В., Хади Р. А. «Практическая криптография: алгоритмыи их программирование» Москва: Солон-пресс, 2009. 22- Фороузан Б. А. «Криптография и безопасность сетей Учебное пособие» Москва: Интернет-университет информационных технологий, 2010.
- Винокуров А.Ю. Стандарты аутентификации и ЭЦП России и США. Технологии и средства связи № 3, 2003.
- Б. Кристальный, Ю. Фонтанов «Электронные» выборы: Москва плетется в хвосте" http://www.cnews.ru/reviews/index.shtml72005/12/02/19 2670l, 2005.
- Л. Приходько. «Зарубежный опыт использования и правового обеспечения электронного голосования» Библиотека диссертаций, http://www.disser.li 10.ru/artical/prihodkoL4.html
- Я. Некрасов «Выборы по карточкам» Журнал Огонек, http://www.ogoniok.com/4920/20/
- Центр безопасного Интернета в России. 2009
- A.B. Павлушкин, А.Е. Постников1 «Правовой механизм дистанционного1. электронного голосования (Анализ возможностей модели)» «Журналроссийского права» № 11, 2009.
- Вешняков A.A. «Международно-правовой и зарубежный опыт применения электронных средств голосования при проведении выборов» Журtнал «Международное публичное и частное право». № 5. 2006.
- Вешняков A.A. «Проблемы использования Интернета на выборах в Российской Федерации» Журнал «Информационное право». № 3. 2006.1
- Горностаева Е.О. «Зарубежный опыт электронного голосования-на вы* борах» Журнал «Конституционное и муниципальное право». N 21. 2008. j t
- Дурнова И.А. «Зарубежный- опыт, проведения, интернет-выборов и протt блемы для России» Журнал «Информационное право». N 2. 2007.
- Борисов И. Б. Голосование с помощью Интернета // Журнал о выборах, 3, 2006. к
- А. Андреев «Особенности и проблемы электронного голосования» Мо1. J сква: ГУ МФТИ, 2005. ii
- Волков О.Г., Мичкивский С. Н. «Модель квантового протокола голосо1.вания» Донецк: ДонНТУ, 2005.1
- Б.А. Макаров «Альтернативы, голосования: Интернет или бюллетень?"i http://www.tarasei.narod.ni/read/st2003.6.htm Москва: Московский радио1тельными бюллетенями.» Журнал «Политический маркетинг», № 1,i /2002г
- Нейман П. «Критерии безопасности для систем электронного голосования» http://www.mexnap.info/articles.php?articleid=609, 2009
- Тэд Сэлкер. «Электронное голосование» Журнал «В мире науки» № 1, 2005.
- Е. Алехова «Система тайного электронного голосования на базе локальной сети» http://technomag.edu.ru/doc/44 988.html, Журнал «Наука и образование», 2004.
- Е. Жигало «Электронные системы для голосования и подсчета голосов"http://www.mobimag.ru/Articles/2757/YelektronnyesistemydlyagolosovУaniyaipodschetagolosov.htm Журнал „МоЫ“, 2008
- D. Chaum, Blind signatures for untraceable payments, Advanced in Cryp-tology Proceedings of Crypto 82, 1983.
- D. Chaum, Blind Signature Systems, U.S. Patent<4,759,063, 19 Jul 1988.
- D. Chaum, Blind Unanticipated Signature Systems, U.S. Patent 4,759,064, 19 Jul 1988.
- D. Pointcheval, J. Stern, Provably Secure Blind Signature, Lectures Notes in Computer Science, 1163, 1996, Springer, p. 252−265.
- B. Schneier, Applied Cryptography: Protocols, Algorithms, and Source Code in C, John Wiley&Sons, New York, 2nd edition, 1996.
- A. J. Menezes, P. C. Van Oorshot, S. A. Vanstone, Handbook of Applied Cryptography, CRC Press, 1996.
- T. Kohno, A. Stubblefield „Analysis of an Electronic Voting System“ IEEE Symposium on Security and Privacy, 2004
- 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
- Canard S. s Traore J. „List Signature Schemes Application to Electonic Vot-t ing“ WCC, 2003.
- Adam Aviv, Pavol Cerny, Sandy Clark, Micah Sherr Eric Cronin, Gaurav
- Shah, Matt Blaze. „Security Evaluation of ES&S Voting Machines and Elecj tion Management System“. In In Proc. of the Usenix/Accurate Electronic
- Voting Technology Workshop, 2008.
- Davide Balzarotti, Greg Banks, Marco Cova, Viktoria Felmetsger, Richard { Kemmerer, William Robertson, Fredrik Valeur, Giovanni Vigna. „Are Your
- Votes Really Counted? Testing the Security of Real-world Electronic Voting „Systems. In Proceedings of the International Symposium on Software Testingand Analysis“ (ISSTA), 2008.
- St’ephanie Delaune, Steve Kremer, Mark D. Ryan“. „Verifying Privacy-type
- Properties of Electronic Voting“ Protocols» Research Report LSV-08−01, La-| boratoire Specification et Verification, ENS
- Checklist" Election Systems & Software Inc. (ES&S), 2007.
- Tadayoshi Kohno, Adam Stubblefield, Aviel D. Rubin, Dan S. Wallach. «Analysis of an Electronic Voting System» Security and Privacy, IEEE Symposium, 2004.
- Matt Bishop, David Wagner. «Risks of e-voting» Commun. ACM, 50(11), 2007.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- California Internet Voting Task Force. A Report on the Feasibility of Internet Voting, Jan. 2000. http://www.ss.ca.gov/executive/ivote/.
- Voting: What Is- What Could Be. http://www.vote.caltech.edu/Reports/, July 2001.
- D. Chaum. Secret-ballot receipts: True voter-verifiable elections. IEEE Security and Privacy, 2(l):38−47, 2004.
- Compuware Corporation. Direct Recording Electronic (DRE) Technical Security Assessment Report. http://www.sos.state.oh.us/sos/hava/files/compuware.pdf, Nov. 2003.
- J. Daemen and V. Rijmen. The Design of Rijndael: AES-The Advanced Encryption Standard. Springer-Verlag, Berlin Germany, 2002. v
- Diebold Election Systems. AVTSCE source tree. http://users.actrix.co.nz/dolly/Vol2/cvs.tar.12, 2003
- 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.
- Federal Election Commission. Voting System Standards, 2001. http://fecwebl.fec.gov/pages/vss/vss.html.
- J. Gilmore, editor. Cracking DES: Secrets of Encryption Research, Wiretap Politics & Chip Design. O’Reilly, July 1998.
- D. Gritzalis, editor. Secure Electronic Voting. Springer-Verlag, Berlin Germany, 2003.
- B. Harris. Black Box Voting: Vote Tampering in the 21st Century. Elon House/Plan Nine, July 2003.
- 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.
- 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.
- D. W. Jones. The Case of the Diebold FTP Site, http://www.cs.uiowa.edu/"jones/voting/dieboldfitp.html, July 2003.
- A. Kerckhoffs. La Cryptographie Militaire. Libraire Militaire de L. Baudoin 8c Cie, Paris, 1883.
- R. Mercuri. Electronic Vote Tabulation Checks and Balances. PhD thesis, University of Pennsylvania, Philadelphia, PA, Oct. 2000:
- 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.
- NBS. Data encryption standard. Federal Information Processing Standards Publication, January 1977.
- 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.
- RABA Innovative Solution Cell. Trusted Agent Report: Diebold AccuVote-TS Voting System,. http://www.raba.com/press/TAReportAccuVote.pdf, Jan. 2004.
- 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.
- В. Schneier. Applied Cryptography: Protocols, Algorithms, and Source Code in C. John Wiley &Sons, New York, second edition, 1996.
- Science Applications International Corporation. Risk Assessment Report: Di-ebold AccuVote-TS Voting System and Processes. http://www.dbm.maryland.gov/SBE, Sept. 2003.
- Алферов А.П., Зубов А. Ю., Кузьмин А. С., Черемушкин А. В. Основы криптографии. Ы.: Гелиос АРВ, 2002.
- Б. Анин, Защита компьютерной информации. Санкт-Петербург: BHV-СПб, 2003.
- Акт внедрения ЗАО «ЭнергоАльянс».
- И.1184,1 Час кия, у I. Ы> н. пмн 1аы|нкая. ь ЛО, те I уопумЦ «Ь/г ул г"1. АКТо «псдреппп программно! о обеспечения «Система защищенного) лек| ронжи о 1 о. юсовании»
- Настоящий акт о внедрении свидетельетует. о гом. чга программное обеспечение -(Спасла защищенною -«екфонною юлосованпя». разработанное Македонским Сергеем Александровичем, внедрено и ЗЛО «ОНЕРГОЛЛЬЯНС» с 5 июля 2010 1.
- В чоде эксплуатации программы было подтверждено. что она ооладае! всеми заявленными во1чожнооями. сочетая их с удобством эксплуатации и высокой скорое и, ю рабош. еперальньш директор ^ ^ ^Л^Щ^К^.- Л Л ВолковасН