Estonya elektronik seçimleri bireysel oy doğrulama sistemi
Individual veriﬁcation of Estonian internet voting scheme
Yazar: SAVAŞ YILMAZ
Danışman: PROF. DR. ENSAR GÜL ; DR. İSA SERTKAYA
Marmara Üniversitesi / Fen Bilimleri Enstitüsü / Bilgi Güvenliği Mühendisliği Ana Bilim Dalı
Derece: Yüksek Lisans, 2020
Konu: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol = Computer Engineering and Computer Science and Control ; Matematik = Mathematics

Özet:
Estonya, 2005senesinden itibaren yasal bağlayıcılığı olan ve ülke genelinde yapılan seçimlerde elektronik seçimi kullanmaktadır. Kullanılan bu sistem ile seçmen geleneksel yöntemle kağıt tabanlı oy verme işlemini yapabildiği gibi internet üzerinden kişisel bilgisayarlarıyla oy verme işlemini de yapabilmektedir. Bu durum internet üzerinden oy vermenin kolaylığı, oy sayım süreçlerinde elektronik cihazların kullanımı, hızlı olması gibi birçok avantajı getirdi, fakat güvenlik açısından beraberinde farklı sorun uzayları da getirdi. Yeni sistemin en az geleneksel seçim sistemi kadar güvenli olması ayrıca seçmenin kullanmış olduğu oyu hiçbir şekilde başka şahıslara ıspatlayamaması ve oy gizliliğinin sağlanması gerekmektedir. Bu açılardan bakıldığında yeni sistemin getirdiği problemler, yeni nesil teknolojiler ve gelişen kriptograﬁ bilimi ile kapatılmaktadır.
Zaman içerisinde çeşitli güncellemelerle birlikte geliştirilmekte olan bu sisteme, 2011 yılında yapılabilirliği gösterilen bir saldırı ve sistemde görülen bir aksaklık neticesinde, bireysel oy doğrulama opsiyonu eklenmiştir. Sisteme eklenen bu opsiyon bir zaﬁyeti kapatmak için getirildi fakat sisteme oy gizliliği ile ilgili yeni zaﬁyet getirdi. Gelen zaﬁyetle ilgili çözüm önerisi olmuş, fakat pratikte kullanılabilecek bir çözüm maalesef önerilmemiştir. Bu çalışmada, 2016 senesinden sonra güncellenmiş ve hali hazırda kullanılmakta olan IVXV yapısının aynı zaﬁyeti hala barındırdığı gösterilmekte, ayrıca bu zaﬁyetin giderilebilmesi için pratikte de uygulanabilecek çözümler önerilmektedir.

Abstract:
Estonia has been using the Estonian Internet Voting scheme for state-wide legally binding general elections since 2005. By means of this, voters can vote not only paper-based voting by using the conventional method but also on the internet with their personal computers. This brought many advantages such as the ease of voting over the internet, the use of electronic devices in the counting processes, and its speed, but it also brought diﬀerent problem spaces in terms of security. The new system must ensure vote privacy and it must be at least as safe as the conventional election system. In addition, it must not be able to prove the voting cast by other people in any way. From this point of view, the problems brought by the new system are covered with new generation technologies and developing cryptography science.
Estonia Internet Voting scheme has been developed over the time with various updates. In the 2011 election period, the individual vote veriﬁcation component was added to the system as a result of developing an attack against the election system and encountering invalid vote in the central server. The individual vote veriﬁcation component was added to cover the weakness, but it caused a new weakness regarding vote privacy in the system. There was a solution suggestion regarding the weakness, but unfortunately, a solution that could be used in practice was not oﬀered. In this study, the scheme labeled as IVXV, which was updated later in 2016 and is currently being used, is shown to still have the same weakness and solutions that can be applied in practice is proposed in order to eliminate this weakness.