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).
Sciences du logiciel - Xavier Leroy