Farnel - Farnel

Farnel- bu kelime sepet anlamına gelir Portekizce - kağıt tabanlı oylama protokolü tarafından tasarlandı Ricardo Felipe Custódio 2001 yılında. Yüksek lisans öğrencisi Augusto Jun Devegili protokolün isminden ve ilk elektronik versiyonundan sorumluydu. Roberto Araujo Farnel'i alıyor ve bunun üzerinde birkaç iyileştirme önerdi. Yüksek lisans tezini de Bilgisayar Güvenliği Laboratuvarı (LabSEC - http://www.labsec.ufsc.br ) prof. Custódio.

Kısa Açıklama

Farnel kağıt tabanlı oylama şeması imzalara dayanmaktadır ve iki sandıklar. Sandıklardan biri (birincisi), oy pusulalarını alabilir, içeriğini karıştırabilir ve oy pusulalarını verebilir; bu sandık, seçimden önce, bir oy verme yetkisi. Diğeri (ikincisi) seçime boş başlar. Oylama aşaması şu şekilde tanımlanmıştır:

1. Seçmen, oylama makamı tarafından imzalanmış boş bir oy pusulası alır, seçeneğini işaretler ve bunu ilk sandığa atar;

2. Sandık, oy pusulalarını karıştırır ve seçmen için rastgele bir oy pusulası gönderir;

3. İşlemi bitirmek için seçmen aldığı oy pusulasını imzalar ve ikinci sandığa atar.

İçinde çetele aşamada, birinci sandıkta bulunan oy pusulaları yetkili makam tarafından imzalanır ve ikinci sandığa atılır. Oylama sonuçlarını elde etmek için bu sandığın tüm oy pusulaları sayılır ve oylamadan önce kullanılan sandıklar iskonto edilir.

Şema hakkında daha fazla ayrıntı için bkz. "Farnel'e dayalı Doğrulanabilir Oylama Protokolü" ve "Farnel kağıt tabanlı oylama protokolü için bir elektronik şema". Bu belgeler şu adreste mevcuttur: http://www.cdc.informatik.tu-darmstadt.de/mitarbeiter/rsa.html

Farnel ile ilgili çalışmaların özeti

Farnel kağıt tabanlı şeması LabSec'de geliştirilmiştir (http://www.labsec.ufsc.br ) Universidade Federal de Santa CatarinaBrezilya - 2001'de. İlk kez “3o. Simpósio de Segurança da Informação ”(https://web.archive.org/web/20070704045428/http://www.ssi.org.br/ ) - Brezilya - 2001'de. Yine de hiçbir zaman bir makale olarak yayınlanmadı ve bununla ilgili sadece basılmamış notlar var.

Kağıt tabanlı Farnel programından başka işler de yapıldı. Augusto Devegilli, Yüksek Lisans Tezi'nde Farnel'in ilk elektronik versiyonunu önerdi (https://web.archive.org/web/20070927194713/http://www.labsec.ufsc.br/tiki-index.php?page=Dissertacao-Augusto-Devegili-abstract ). Aynı yıl, Fabiano Castro ve Carlo Mazzi, Lisans Tezlerinde Farnel'in bir uygulamasını sundu (https://web.archive.org/web/20070927194736/http://www.labsec.ufsc.br/tiki-index.php?page=Fabiano-Mazzi-TCC-abstract ). 2002 yılında Roberto Araujo, Yüksek Lisans Tezi'nde Farnel'in geliştirilmiş bir elektronik versiyonunu sundu (https://web.archive.org/web/20070927194728/http://www.labsec.ufsc.br/tiki-index.php?page=Dissertacao-Roberto-Samarone-abstract ); Bu yeni sürüm ayrıca Custodio ve Devegilli ile birlikte Brezilya'da "II Workshop em Segurança de Sistemas Computacionais" (WSEG) - Brezilya'da yayınlandı. 2006 yılında, Roberto Araujo ve ark. Farnel'in yeni bir elektronik versiyonunu önerdi ve kağıt tabanlı versiyonunu da açıkladı.