Farnel
Farnel — to słowo oznacza kosz w języku portugalskim — to papierowy protokół głosowania opracowany przez Ricardo Felipe Custódio w 2001 roku. Jego mistrz Augusto Jun Devegili był odpowiedzialny za nazwę i pierwszą elektroniczną wersję protokołu. Roberto Araujo bierze Farnel i proponuje kilka ulepszeń. Pracę magisterską obronił również w Laboratorium Bezpieczeństwa Komputerowego (LabSEC - http://www.labsec.ufsc.br ) kierowanym przez prof. Custodio.
Krótki opis
Papierowy schemat głosowania Farnel opiera się na podpisach i wykorzystuje dwie urny wyborcze . Jedna z urn (pierwsza) może przyjmować karty do głosowania, tasować jej zawartość i wyprowadzać karty do głosowania; ta urna wyborcza jest inicjowana przed wyborami głosami podpisanymi przez organ uprawniony do głosowania. Druga urna (druga) rozpoczyna wybory pusta. Faza głosowania jest opisana w następujący sposób:
1. Wyborca otrzymuje kartę do głosowania in blanco podpisaną przez głosujący, zaznacza swój wybór i wrzuca ją do pierwszej urny;
2. Urna tasuje swoje karty do głosowania i zwraca wyborcy losową kartę do głosowania;
3. Na zakończenie głosowania wyborca podpisuje otrzymaną kartę do głosowania i wrzuca ją do drugiej urny.
W fazie liczenia karty do głosowania z pierwszej urny są podpisywane przez organ i wrzucane do drugiej urny. W celu uzyskania wyników głosowania wszystkie karty do głosowania z tej urny są liczone, a głosy oddane przed głosowaniem są dyskontowane.
Zobacz „Weryfikowalny protokół głosowania oparty na Farnel” i „Schemat elektroniczny protokołu głosowania w formie papierowej Farnel”, aby uzyskać więcej informacji na temat schematu. Dokumenty te są dostępne na stronie http://www.cdc.informatik.tu-darmstadt.de/mitarbeiter/rsa.html
Schemat Farnela w formie papierowej został opracowany w LabSec ( http://www.labsec.ufsc.br ) na Universidade Federal de Santa Catarina – Brazylia – w 2001 roku. Po raz pierwszy został zaprezentowany na „3o. Simpósio de Segurança da Informação” ( https://web.archive.org/web/20070704045428/http://www.ssi.org.br/ ) – Brazylia – w 2001 r. Nigdy jednak nie została opublikowana jako artykuł i są tylko niepublikowane notatki na ten temat.
Z papierowego schematu Farnela wykonano inne prace. Augusto Devegilli zaproponował pierwszą elektroniczną wersję Farnela w swojej pracy magisterskiej -Augusto-Devegili-streszczenie ). W tym samym roku Fabiano Castro i Carlo Mazzi przedstawili implementację Farnel w swojej pracy licencjackiej ( https://web.archive.org/web/20070927194736/http://www.labsec.ufsc.br/tiki-index .php?page=Fabiano-Mazzi-TCC-abstract ). W 2002 roku Roberto Araujo przedstawił ulepszoną elektroniczną wersję Farnela w swojej pracy magisterskiej ( https://web.archive.org/web/20070927194728/http://www.labsec.ufsc.br/tiki-index.php?page =Dissertacao-Roberto-Samarone-abstract ); Ta nowa wersja została również opublikowana w „II Workshop em Segurança de Sistemas Computacionais” (WSEG) – Brazylia – wspólnie z Custodio i Devegilli. W 2006 roku Roberto Araujo i in. zaproponował nową elektroniczną wersję Farnela, a także opisał jej wersję papierową.