Фарнел

«Фарнел » — это слово по- португальски означает «корзина » — представляет собой бумажный протокол голосования , придуманный Рикардо Фелипе Кустодио в 2001 году. Его студент-магистр Аугусто Джун Девегили был автором названия и первой электронной версии протокола. Роберто Араужо взял Фарнел и предложил несколько улучшений. Он также защитил магистерскую диссертацию в Лаборатории компьютерной безопасности (LabSEC - http://www.labsec.ufsc.br ), которой руководил проф. Кастодио.

Краткое описание

Схема голосования Фарнела на бумажном носителе основана на подписях и использует две урны для голосования . Одна из урн для голосования (первая) имеет возможность приема бюллетеней, перемешивания их содержимого и выдачи бюллетеней; эта урна для голосования инициализируется перед выборами голосами, подписанными органом голосования . Другая урна для голосования (вторая) начинает выборы пустой. Этап голосования описывается следующим образом:

1. Избиратель получает пустой избирательный бюллетень, подписанный органом голосования, отмечает свой вариант и бросает его в первую урну для голосования;

2. Избирательная урна перемешивает бюллетени и возвращает избирателю выбранный избирательный бюллетень;

3. Для завершения процедуры избиратель подписывает полученный бюллетень и бросает его во вторую урну для голосования.

На этапе подсчета голосов бюллетени из первой урны для голосования подписываются органом власти и опускаются во вторую урну для голосования. Для получения результатов голосования подсчитываются все бюллетени данной урны для голосования и учитываются бюллетени, поданные до голосования.

Более подробную информацию об этой схеме см. в разделах «Проверяемый протокол голосования на основе Farnel» и «Электронная схема для бумажного протокола голосования Farnel». Эти документы доступны по адресу http://www.cdc.informatik.tu-darmstadt.de/mitarbeiter/rsa.html.

Краткое изложение работы, связанной с Фарнелом

Схема Фарнеля на бумажном носителе была разработана в LabSec ( http://www.labsec.ufsc.br ) Федерального университета Санта - Катарины ( Бразилия ) в 2001 году. Впервые она была представлена ​​на выставке «3o. Simpósio de Segurança da Informação» ( https://web.archive.org/web/20070704045428/http://www.ssi.org.br/ ) – Бразилия – в 2001 году. Однако он так и не был опубликован в виде документа и есть только неопубликованные заметки об этом.

По бумажной схеме Фарнеля были выполнены и другие работы. Аугусто Деведжилли предложил первую электронную версию Фарнеля в своей магистерской диссертации ( https://web.archive.org/web/20070927194713/http://www.labsec.ufsc.br/tiki-index.php?page=Dissertacao ). -Аугусто-Девегили-аннотация ). В том же году Фабиано Кастро и Карло Мацци представили реализацию Фарнеля в своей дипломной работе ( https://web.archive.org/web/20070927194736/http://www.labsec.ufsc.br/tiki-index ). .php?page=Фабиано-Мацци-TCC-абстракт ). В 2002 году Роберто Араужо представил улучшенную электронную версию Фарнеля в своей магистерской диссертации ( https://web.archive.org/web/20070927194728/http://www.labsec.ufsc.br/tiki-index.php?page ). =Диссертакао-Роберто-Самароне-аннотация ); Эта новая версия также была опубликована на «II Workshop em Segurança de Sistemas Computacionais» (WSEG) – Бразилия – совместно с Custodio и Devegilli. В 2006 году Роберто Араужо и др. предложил новую электронную версию Фарнела, а также описал его бумажную версию.