On peut prouver qu'un algo est bon, qu'un programme est sûr (et encore, ce sont des possibilités théoriques, elles ne garantissent pas contre une erreur de codage/syntaxe lors de la saisie du code). Maintenant tout ça implique tout de même une hypothèse : la confiance.
Quand on n'a pas confiance la preuve éventuelle n'a aucune valeur. Qui peut prouver que la démonstration a bien été faite avec ce code source ? que celui qui a fait la démonstration est honnête ? que le code compilé l'a été fait sans qu'il n'y ai de backdoor dans le compilateur lui même (cf l'histoire) ou dans les bibliothèques ? que le code compilé est bien le même que celui dans la boite ? qu'il n'y a pas de détournement électronique/mécanique dans la boite qui pourrait fausser le vote en faisant croire qu'on a appuyé un autre bouton ? qui peut prouver que la boite qu'on a devant nous n'a pas été modifiée depuis toutes ces preuves (pour peu qu'on puisse les obtenir) ?
La boite transparente n'est pas parfaite (ben oui, à Paris on a déjà fait voter des morts) mais grosso modo on a beaucoup plus d'assurance et n'importe qui peut et a le droit de surveiller la boite qu'il a devant lui. En cas de dispute on peut relativement recompter à la main, vérifier ...
Le seul gain d'une boite automatique c'est accélérer le dépouillement. Et franchement, vu que les mandats ne prennent pas effet dans les 10 minutes après l'élection, je ne crois pas que cet avantage compense les problèmes potentiels.
[^] # Re: Peut être
Posté par Éric (site web personnel) . En réponse au journal backdoor dans des machines a voter US ?. Évalué à 3.
Quand on n'a pas confiance la preuve éventuelle n'a aucune valeur. Qui peut prouver que la démonstration a bien été faite avec ce code source ? que celui qui a fait la démonstration est honnête ? que le code compilé l'a été fait sans qu'il n'y ai de backdoor dans le compilateur lui même (cf l'histoire) ou dans les bibliothèques ? que le code compilé est bien le même que celui dans la boite ? qu'il n'y a pas de détournement électronique/mécanique dans la boite qui pourrait fausser le vote en faisant croire qu'on a appuyé un autre bouton ? qui peut prouver que la boite qu'on a devant nous n'a pas été modifiée depuis toutes ces preuves (pour peu qu'on puisse les obtenir) ?
La boite transparente n'est pas parfaite (ben oui, à Paris on a déjà fait voter des morts) mais grosso modo on a beaucoup plus d'assurance et n'importe qui peut et a le droit de surveiller la boite qu'il a devant lui. En cas de dispute on peut relativement recompter à la main, vérifier ...
Le seul gain d'une boite automatique c'est accélérer le dépouillement. Et franchement, vu que les mandats ne prennent pas effet dans les 10 minutes après l'élection, je ne crois pas que cet avantage compense les problèmes potentiels.