Sécurité du logiciel : quel rôle pour les langages de programmation ?

Auteur
Xavier LEROY
Support
Sites web
Année
2022
Editeur
Résumé
Comment 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.
Cote
Lien
https://bibliotheque.insa-lyon.fr/recherche/viewnotice/id/648733