• AgoraVox sur Twitter
  • RSS
  • Agoravox TV
  • Agoravox Mobile


En réponse à :


Aldoo Aldoo 11 avril 2007 18:31

Peut-être partez-vous du principe que chaque programme peut-être prouvé de la même manière qu’on le fait habituellement, et que du coup mes remarques dans le ton « peut-on prouver que » ne vous paraissent pas sérieuses.

Vous devez vous situer, sans doute, dans l’approche où tout est connu : la machine est un PC « normal », le code exécuté correspond au code source donné, etc. Cette approche n’est, à mon sens, pas adaptée au problème : en effet, s’assurer de tout cela ne peut être fait, 1, que par un expert, 2, moyennant un effort de moyens démesuré (pour ce qui est de laisser accéder au hard, en tout cas). Or ce que je veux, c’est que tout le monde ait de bonnes raisons de penser qu’il n’y a pas anguille sous roche. Pour ces raisons, le système ne peut être prouvé que dans le paradigme « boîte noire », où la seule chose qui est vérifiable sont les entrées et les sorties du système.

Est-ce-que ce que je dis maintenant vous paraît sérieux ou pas ? Si tel n’est pas le cas, c’est que nous ne cherchons pas à résoudre le même problème, et que finalement cet article n’avait pas tant d’intérêt que ça, du moins en regard de ce que j’exige de la part d’un système de vote électronique.

PS : quant à votre dernier commentaire... Sans commentaire, si j’ose dire !




Palmarès