Qui peut prouver que la démonstration a bien été faite avec ce code source ?
L'avantage, c'est que avec cette méthode, le code est généré automatiquement...
que celui qui a fait la démonstration est honnête ?
Il suffit de lancer un des outils de la méthode B pour vérifier qu'une démonstration est correcte.
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 ?
A priori le programme est correct quand toutes les dépendances le sont, cad les bibliothèques aussi (d'ailleur bonjour le boulot, parcque du coup faut tout prouver, et y'a qu'un type de données pour commencer : les entiers :) )
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) ?
Ben là... c'est plus du domaine de l'informatique mais du domaine de la sécurité...
Le seul gain d'une boite automatique c'est accélérer le dépouillement.
c'est faciliter les comptages, c'est rigolo, c'est respectueux de l'environnement (pas de milliers de bulletins/enveloppes à faire)
[^] # Re: Peut être
Posté par TImaniac (site web personnel) . En réponse au journal backdoor dans des machines a voter US ?. Évalué à 2.
L'avantage, c'est que avec cette méthode, le code est généré automatiquement...
que celui qui a fait la démonstration est honnête ?
Il suffit de lancer un des outils de la méthode B pour vérifier qu'une démonstration est correcte.
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 ?
A priori le programme est correct quand toutes les dépendances le sont, cad les bibliothèques aussi (d'ailleur bonjour le boulot, parcque du coup faut tout prouver, et y'a qu'un type de données pour commencer : les entiers :) )
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) ?
Ben là... c'est plus du domaine de l'informatique mais du domaine de la sécurité...
Le seul gain d'une boite automatique c'est accélérer le dépouillement.
c'est faciliter les comptages, c'est rigolo, c'est respectueux de l'environnement (pas de milliers de bulletins/enveloppes à faire)