Elektronik oy ve uygulamaları

Abstract

Elektronik seçim sistemleri, kâgıt oy pusulası ile oy kullanımını elektronik araçlar ilegerçeklestirmeyi amaçlar. Bu amacın çıkıs noktası; seçimin etkin ve güvenilir bir sekildeyapılmasını saglamak ve insan faktörünün meydana getirebilecegi hata ve sahtekârlıklarınönüne geçmektir.Kullanım sekillerine göre farklı elektronik seçim türleri mevcuttur. Bu çalısma;Internet gibi açık ve güvensiz kanallar üzerinde elektronik seçim protokollerinin nasılçalıstıgını incelemekte, farklı oy kullanım modelleri üzerinde durmaktadır. Bu modelleringenis çaplı bir seçim sistemi için uygulanabilir olup olmadıkları ve daha önceki kullanımsekilleri anlatılmaktadır. Bu modellerden biri olan kriptolojik homomorfizm ile etkin vegüvenilir bir seçim sisteminin nasıl tasarlanabilecegi ve önceki çalısmaların neler olduguincelenmektedir.Çalısmanın sonunda; Pailler sisteminin homomorfik özelligi üzerine kurulu yeni birseçim sistemi önerilmektedir.Anahtar Kelimeler: Elektronik oy, elektronik seçim protokolleri, açık anahtarkriptolojisi, kriptolojik homomorfizm, sıfır bilgi ile ispat, Paillier kripto sistemi.

Electronic voting systems aim to change paper voting procedures with electronic ones.Main reason for developing such systems is to build a secure and efficient voting systemwhile avoiding human defects.Election systems vary due to their voting procedures. In this paper; different kinds ofvoting models is examined. It is also studied how voting protocols run on unsecure channelsand these are analysed whether they can be used to build an efficient and secure votingsystem.At the end of this thesis; a new voting system based on Paillier homomorphism isproposed.Keywords: Electronic voting, voting protocols, public key cryptology, homomorphicencryption, zero knowledge proof, Paillier cryptosystem.