Farnel
Farnel — det här ordet betyder korg på portugisiska — är ett pappersbaserat röstningsprotokoll utarbetat av Ricardo Felipe Custódio 2001. Hans masterstudent Augusto Jun Devegili var ansvarig för namnet och för den första elektroniska versionen av protokollet. Roberto Araujo tar Farnel och har föreslagit flera förbättringar på den. Han gjorde också sin masteruppsats vid Computer Security Laboratory (LabSEC - http://www.labsec.ufsc.br ) som leds av prof. Custódio.
Kort beskrivning
Farnels pappersbaserade röstningssystem är baserat på underskrifter och använder två valurnor . En av valurnorna (den första) kan ta emot röstsedlar, blanda dess innehåll och mata ut röstsedlar; denna valurna initieras före valet med röster undertecknade av en röstande myndighet. Den andra valurnan (den andra) börjar valet tom. Omröstningsfasen beskrivs så här:
1. Väljaren får en blank valsedel undertecknad av röstmyndigheten, markerar sitt val och lägger den i den första valurnan;
2. Valurnan blandar sina valsedlar och lämnar tillbaka en slumpmässig omröstning till väljaren;
3. För att avsluta processen undertecknar väljaren den mottagna röstsedeln och lägger den i den andra valurnan.
I sammanräkningsfasen undertecknas valsedlarna från den första valurnan av myndigheten och läggs in i den andra valurnan. För att erhålla omröstningsresultatet räknas alla röstsedlar i denna valurna och de röstsedlar som lagts före omröstningen rabatteras.
Se "Ett verifierbart röstningsprotokoll baserat på Farnel" och "Ett elektroniskt schema för Farnels pappersbaserade röstningsprotokoll" för mer information om systemet. Dessa papper finns tillgängliga på http://www.cdc.informatik.tu-darmstadt.de/mitarbeiter/rsa.html
Farnels pappersbaserade schema utvecklades i LabSec ( http://www.labsec.ufsc.br ) vid Universidade Federal de Santa Catarina – Brasilien – 2001. Det presenterades först på ”3o. Simpósio de Segurança da Informação” ( https://web.archive.org/web/20070704045428/http://www.ssi.org.br/ ) - Brasilien - 2001. Den publicerades dock aldrig som en tidning och det finns bara opublicerade anteckningar om det.
Från det pappersbaserade Farnel-schemat har andra arbeten utförts. Augusto Devegilli föreslog den första elektroniska versionen av Farnel i sin masteruppsats ( https://web.archive.org/web/20070927194713/http://www.labsec.ufsc.br/tiki-index.php?page=Dissertacao -Augusto-Devegili-abstrakt ). Samma år presenterade Fabiano Castro och Carlo Mazzi en implementering av Farnel i sin grunduppsats ( https://web.archive.org/web/20070927194736/http://www.labsec.ufsc.br/tiki-index .php?page=Fabiano-Mazzi-TCC-abstrakt ). 2002 presenterade Roberto Araujo en förbättrad elektronisk version av Farnel i sin masteruppsats ( https://web.archive.org/web/20070927194728/http://www.labsec.ufsc.br/tiki-index.php?page =Dissertacao-Roberto-Samarone-abstrakt ); Denna nya version publicerades också i "II Workshop em Segurança de Sistemas Computacionais" (WSEG) - Brasilien - tillsammans med Custodio och Devegilli. 2006, Roberto Araujo et al. föreslog en ny elektronisk version av Farnel och beskrev även den pappersbaserade versionen av den.