[article] Peut-on fiabiliser les systèmes informatisés ? [texte imprimé] /
David Monniaux, Auteur . - 2026 . - p.114-120.
Langues : Français (
fre)
in La Recherche (Paris. 1970) >
585 (04/2026)
| Mots-clés : |
Traitement numérique des données Sécurité informatique |
| Résumé : |
Le point sur les capacités permettant de sécuriser les systèmes informatisés des infrastructures critiques. Mise en place de systèmes redondant avec un qui commande et l'autre qui surveille. Nécessité de mettre en place des tests pour prévenir les erreurs de conceptions. Utilisation d'un raisonnement par récurrence démontrant que le programme est correct et atteindra le résultat attendu. Mise en oeuvre de méthodes formelles utilisées en cryptographie. Proposition de langage de programmation contraignant permettant de contrer certainsn bugs. Encadré : les limites mathématiques de la vérification automatique. |
| Nature du document : |
documentaire |
| Genre : |
Article de périodique |
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherchePeut-on fiabiliser les systèmes informatisés ? in La Recherche (Paris. 1970), 585 (04/2026)
