Package: belenios-tool (2.2+git10-gbb6b7ea8+dfsg-1 and others)

sistema di votazione verificabile (strumento a riga di comando)

Belenios ha lo scopo di fornire un sistema di votazione facile da usare, garantendo sicurezza all'avanguardia, cioè riservatezza del voto e verificabilità. Può essere usato in molti tipi di elezioni, che vanno da comitati scientifici ad associazioni sportive.

Consiste di uno strumento a riga di comando e di un server web. Entrambi usano lo stesso backend e possono essere usati per organizzare elezioni ed eseguire verifiche.

Le proprietà di sicurezza del sistema sono:

 * riservatezza del voto: nessuno può conoscere il voto di un votante; la
   riservatezza del voto si basa sulla cifratura dei voti;
 * verificabilità end-to-end: ciascun votante può controllare che il proprio
   voto sia stato contato e solo i votanti che ne hanno diritto possono
   votare. La verificabilità end-to-end si basa sul fatto che l'urna delle
   schede è pubblica (i votanti possono controllare che le loro schede
   siano state ricevute) e sul fatto che lo spoglio è verificabile
   pubblicamente (chiunque può ricontare i voti); inoltre le schede sono
   firmate dalle credenziali del votante (solo i votanti che ne hanno
   diritto sono in grado di votare).

Questo pacchetto fornisce lo strumento a riga di comando, che è il modo più comodo per esercitare le funzionalità di verificabilità del sistema. Può essere usato per tenere un'elezione senza usare il server web e per monitorare un'elezione in corso su un server web.

This page is also available in the following languages (How to set the default document language):