La sécurité informatique absolue n’existe pas !

On entend souvent dire que la sécurité absolue en matière d’informatique n’existe pas. Ceux qui prononcent cette phrase ne savent pas forcément justifier cette vérité qui s’appuie avant tout sur un résultat purement mathématique.

Alan Turing et machines

Il peut être utile et agréable (car le côté esthétique de la preuve est bien présent) de reproduire sa démonstration mathématique. Il s’agit d’une preuve standard bien connue des étudiants des Masters en informatique – calcul formel – cryptographie. Elle est suffisamment courte et simple pour être lue et comprise par un lecteur non spécialiste doté d’un bac scientifique. Elle ne nécessite aucun pré-requis particulier et c’est là tout son charme ! Le cryptologue français David Naccache (ENS Paris) l’utilise régulièrement dans ses interventions sur la sécurité numérique et parvient à la présenter de manière “décontractée” sans pour autant perdre la rigueur mathématique en cours de route. C’est une performance assez rare pour être soulignée. Prouvons maintenant que la sécurité absolue en informatique n’existe pas.

Continuer la lecture

Share/Partage