Résultat recherche élargie à: grand public, auteur: xavier leroy
Liste des documents recherchés
Affiner le résultat de recherche avec le type de document Sites webAfficher tous les documents ayant la date d'édition : , commele document Sécurité du logiciel : quel rôle pour les langages de programmation ? 2022Rechercher tous les documents ayant comme Tag: Ressource gratuite(accès libre)Rechercher tous les documents ayant comme Tag: Sciences de l'ingénieurRechercher tous les documents ayant comme Tag: Grand publicRechercher tous les documents ayant comme Tag: Cours en ligneRechercher tous les documents ayant comme Sujet: InformatiqueRechercher tous les documents ayant comme Sujet: programmationRechercher tous les documents ayant comme Sujet: langage de programmationRechercher tous les documents ayant comme Sujet: logicielRechercher tous les documents ayant comme Domaine INSA: D02 - Informatique
Date de publication : 2022Comment un logiciel peut-il résister aux attaques et à l'utilisation malveillante ? Le cours abordera cette problématique de sécurité du logiciel sous l'angle des langages de programmation et de leurs techniques de typage, d'analyse statique et de vérification déductive. Nous essaierons de caractériser la contribution de ces approches à la sécurité informatique, ainsi que leurs limitations.
Accès en ligne