Page 114 - bilgem-teknoloji-dergisi-6

Mehmet Sabır KİRAZ, Fatih BİRİNCİ, Uğur Kâşif BOYACI Elektronik Seçim: İnternet Üzerinden Oylama

3.3.2 Oy sayma protokolü

1. Gözetmen listeyi alır: Gözetmen i-seçmen listesi L'yi şu değerleri için
şekilde oluşturur: en yüksek sayaç değerini seçer, hesaplar. Sonrasında hesaplar.
. sıfır bilgi protokolunu kontrol eder ve şifre çözülür. En sonunda
ve bütün i-seçmen listesini L sıralı bir da değerleri için Karıştırıcı işlemi
şekilde gönderir. yapılarak oylar karıştırılır. D, bu yapılan işlemleri gözetmene
1. Adım: Oy Kullanımı ispatlar. Oylar şeklinde ortaya çıkar (öyle
2. Şifre çözülür ve oylar sayılır: Öncelikle gözetmen listenin ki kod çözme fonksiyonudur).
doğruluğunu onaylar. olsun. D, ve

1. Adım: Gözetmen listeyi alır

2. Adım: Onaylama ve İmzalama

2. Adım: Şifre çözülür ve oylar sayılır

3. Adım: Doğrulama

3.3.3 Protokolün bütünlüğü

Önceki yazımızda da belirttiğimiz gibi bir protokolün bütün
olup olmadığının kontrolü dürüst modelde incelenir [20], yani
bütün katılımcıların dürüst olduğu durumunda protokoün
Doğrulama adımında yapılan posta ve SMS ile gelen kodlar içerisinde bulunduğunu bilemeyiz. İnternet tabanlı seçim doğru işlemi yaptığı kontrol edilir. Bu seçim protokolü bütündür
arasındaki kontrol kağıt tabanlı sistemlerde bulunmamaktadır, protokolundeki bu kontrol bu tür problemleri engellemek çünkü bütün dürüst katılımcılar için şifreli oylar doğru bir
çünkü kağıt tabanlı sistemler doğrulanabilir sistemler değildir. amacıyla uygulanmaktadır. Bu sayede seçmen oyunun şekilde açılı ve üretilen makbuzların seçmene önceden
Örneğin, oyumuzu verdiğimizde gerçekten doğru olarak sayılmadığını anladığından farklı bir PC'de oyunu tekrar gönderilen makbuzlarla aynı olması beklenir.
sayıldığını, geçersiz oyların içerisinde olmadığını veya sayımın kullanabilir, benzer problemler sürerse kağıt tabanlı sistemde Seçmenin doğruladığı makbuz kodu hariç diğer protokol Böylece, eşik sır paylaşımı kriptografik yapıtaşı özelliğinden
oyunu kullanabilir.
kısımları bütündür. Sadece seçmene gönderilen dolayı a 1 , a 2 ve a 3 özel anahtarları kullanılarak
makbuz kodunun doğruluğunu göstermeliyiz değerinin sağlandığını ve bu sayede makbuz üretimi sürecinde
gönderilen doğrulama kodlarının
doğruluğunu göstermiş olduk.

112 Sayı 06 Mayıs-Ağustos 2011 http://www.bilgem.tubitak.gov.tr/ 113
·