04 - Sécurité du logiciel : quel rôle pour les langages de programmation ? — Sciences du logiciel - Xavier Leroy

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

Sciences du logiciel - Xavier Leroy · 31/03/2022 10:53 · 1 h 09

Contenu de l'épisode

Xavier Leroy

Collège de France

Science du logiciel

Année 2021-2022

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

L'isolation d'un logiciel possiblement malveillant ou compromis est nécessaire pour qu'il ne puisse pas compromettre d'autres logiciels s'exécutant dans le même environnement et encore moins les mécanismes de sécurité du système d'exploitation et du matériel. Nous passerons en revue plusieurs mécanismes d'isolation : mémoire virtuelle, software fault isolation (SFI), sandboxing, et contrôle d'accès au niveau des interfaces logicielles (API).