| Titre : | Peut-on fiabiliser les systèmes informatisés ? (2026) |
| Auteurs : | David Monniaux, Auteur |
| Type de document : | Article : texte imprimé |
| Dans : | La Recherche (Paris. 1970) (585, 04/2026) |
| Article en page(s) : | p.114-120 |
| Langues : | Français |
| 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. |
| Type de nature : | Documentaire |
| Genre(s) : | Article de périodique |
CDI du Lycée Bristol
Vous pouvez rechercher sur ces pages les notices des documents disponibles au CDI.
Se connecter
Accueil
Sélection de la langue
Adresse
CDI du Lycée BristolCannes
06 Cannes
France
contact