Contrôle d'accès obligatoire : modèles de confidentialité

Cette séance de cours couvre le modèle Bell La Padula pour la confidentialité, les canaux secrets et les défis de la déclassification. Il explique les modèles de sécurité en tant que modèles de conception pour des propriétés de sécurité spécifiques, en se concentrant sur la protection de la confidentialité du modèle Bell-La Padula. La classification des objets et des sujets, les relations de dominance et l'importance des niveaux de clairance sont discutés. La séance de cours explore également les propriétés du système BLP, y compris la propriété ss, la propriété * et la propriété ds. Il conclut avec le théorème de sécurité de base et les limites du modèle Bell La Padula, soulignant la nécessité de systèmes dynamiques pour répondre aux besoins changeants en matière de sécurité.