[ 3/4 ]

—> Par la machine connectée au réseau, sous deux conditions :
——> des spécifications logicielles et matérielles ouvertes et couvertes par des preuves formelles
——> la fabrication et la livraison supervisées

Par ailleurs, on imagine difficilement l’internaute opérer un protocole lourd pour contrôler la signature, impliquant un poste jamais relié au réseau. Pour limiter drastiquement le piratage tout en étant connecté au réseau, se cristallisera avec le temps l’impératif d’utiliser des logiciels libres qui progressivement feront l’objet de preuves formelles de leur intégrité (on parle de preuve formelles sur le code source), et comme l’intégrité du matériel sous-jacent est impérative, apparaîtront également des matériels numériques dont toutes les spécifications les plus détaillées seront disponibles sous licence libre (le mouvement dans ce sens est largement en cours), faisant également l’objet de preuves formelles, et dont la fabrication et la livraison auront été effectuée sous supervision communautaire (pour éviter l’inclusion d’une porte dérobée à l’usine et la substitution malveillante pendant le transport), l’essentiel de la supervision pouvant s’automatiser.

[ 6 — La conscience des enjeux et son impact sur le changement ]

Il est important que la conscience de ces enjeux se répande pour que les changements s’opèrent. Des décisions politiques pourraient impliquer que des universitaires travaillent sur la production de preuves formelles sur le logiciel et sur le matériel. Du côté logiciel, le processus est déjà en cours, avec par exemple un compilateur C prouvé formellement, nommé Compcert C, produit par l’INRIA) qui est un établissement de recherche public. D’autre part, des décisions politiques pourraient également faciliter l’établissement de la souveraineté numérique de chacun, par un contrôle sur le matériel, au minimum par la délégation de superviseurs techniques, par contrat, auprès de l’industriel fabriquant le matériel, et en version plus lourde la ré-implantation d’usines localement en France, et sous contrôle communautaire.

../..