Nul besoin de protocoles cryptographiques dans des machines à voter, non connectées ! D'autant plus que la seule sortie de la machine est le résultat, qui lui est public (et un éventuel bulletin visible pour le votant, dans une version améliorée pour permettre la vérification), donc rien de chiffré.
Je pense que les recherches en question concernent plutôt l'e-vote (ou vote par internet), qui est une autre paire de manches !
Pour revenir aux machines à voter, cela dit, on gagnerait sans doute à formaliser tout le protocole pour prouver ce qui nous intéresse, même s'il ne s'agit pas d'un protocole cryptographique, ni même d'un protocole particulièrement compliqué.
[^] # Re: Et sinon
Posté par Aldoo . En réponse au journal Enfin à la une du monde !. Évalué à 1.
Je pense que les recherches en question concernent plutôt l'e-vote (ou vote par internet), qui est une autre paire de manches !
Pour revenir aux machines à voter, cela dit, on gagnerait sans doute à formaliser tout le protocole pour prouver ce qui nous intéresse, même s'il ne s'agit pas d'un protocole cryptographique, ni même d'un protocole particulièrement compliqué.