Description
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).
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 ?
Compiler un programme source en code machine peut être l'occasion de le rendre plus résistant à certaines attaques. Cependant, de nombreuses optimisations de...
Published 04/21/22
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 ?
Compiler un programme source en code machine peut être l'occasion de le rendre plus résistant à certaines attaques. Cependant, de nombreuses optimisations de...
Published 04/21/22