Estonya elektronik seçimleri bireysel oy doğrulama sistemi
Individual verification of Estonian internet voting scheme
- Tez No: 647246
- Danışmanlar: PROF. DR. ENSAR GÜL, DR. İSA SERTKAYA
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Matematik, Computer Engineering and Computer Science and Control, Mathematics
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2020
- Dil: Türkçe
- Üniversite: Marmara Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgi Güvenliği Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 75
Ö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 kriptografi 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 zafiyeti kapatmak için getirildi fakat sisteme oy gizliliği ile ilgili yeni zafiyet getirdi. Gelen zafiyetle 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ı zafiyeti hala barındırdığı gösterilmekte, ayrıca bu zafiyetin giderilebilmesi için pratikte de uygulanabilecek çözümler önerilmektedir.
Özet (Çeviri)
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 different 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 verification 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 verification 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 offered. 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.
Benzer Tezler
- Digital voting system based on blockchain technology
Blokzincir teknolojisi temelli dijital oylama sistemi
MAHMOUD BAKIR AHMED AL-RAWY
Yüksek Lisans
İngilizce
2018
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolAksaray ÜniversitesiElektrik-Elektronik ve Bilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. ATİLLA ELÇİ
- Internet voting based on homomorphic encryption
Homomorfik şifrelemeye dayanan internet seçimi
HAKAN YILDIRIM
Yüksek Lisans
İngilizce
2014
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiKriptografi Ana Bilim Dalı
DR. MUHİDDİN UĞUZ
DR. MEHMET SABIR KİRAZ
- On the trail of west – east signalling interoperability:A novel proposal for an STM and an interface for ETCS onboard operating on class b trackside signalling systems
Batı – doğu arası karşılıklı işletilebilirliğin izinde: ETCS araç üstü sistemlerin sınıf b hat yanı sinyal sistemleri üzerinde çalışması için yeni bir STM ve arayüz önerisi
ÇAĞLA KIVILCIM ÇİFTCİOĞLU
Yüksek Lisans
İngilizce
2024
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiRaylı Sistemler Mühendisliği Ana Bilim Dalı
PROF. DR. MEHMET TURAN SÖYLEMEZ
- Elektronik devletten akıllı devlete dönüşüm
Transformation from electronic state to smart state
FATİH TÜREDİ
Yüksek Lisans
Türkçe
2019
Kamu YönetimiKaramanoğlu Mehmetbey ÜniversitesiKamu Yönetimi Ana Bilim Dalı
DOÇ. DR. HAKAN CANDAN
- Türkiye'de kayıt dışı ekonomi ile mücadele ve elektronik vergi sistemleri
Combating shadow economy in Turkey and electronic tax systems
HALİL İBRAHİM DEMİR
Yüksek Lisans
Türkçe
2018
EkonomiEskişehir Osmangazi Üniversitesiİktisat Ana Bilim Dalı
PROF. DR. ZEKİ KARTAL