Collège De France (sciences Et Technologies)
02 - Sécurité du logiciel : quel rôle pour les langages de programmation ?
- Autor: Vários
- Narrador: Vários
- Editor: Podcast
- Duración: 1:06:30
- Mas informaciones
Informações:
Sinopsis
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 ? Certaines informations sont plus confidentielles que d'autres, ou plus digne de confiance que d'autres. Après une introduction aux politiques de confidentialité de Bell-Lapadula et d'intégrité de Biba, nous étudierons comment contrôler les flux d'information à travers un programme, ou bien dynamiquement, ou bien statiquement à l'aide de systèmes de types ou de logiques de programmes.