Présente les bases de la sécurité informatique, les propriétés, la politique, la modélisation des menaces et le vocabulaire clé de la pensée contradictoire.
Explore les définitions, l'historique et les applications de l'accès conditionnel dans la sécurité des médias, couvrant les techniques d'authentification des utilisateurs, les cartes à puce, la biométrie et les aspects juridiques.
Couvre l'accès conditionnel, le cryptage, le décryptage, l'authentification et les normes de cryptage avancées, en explorant le cryptage basé sur l'identité, la biométrie et le cryptage basé sur les attributs.
Explore les défis de programmation, les techniques de débogage, les tests de logiciels et les pratiques de sécurité dans le développement de logiciels.
Explore le concept de cacher une signature numérique invisible dans les médias et les défis de la robustesse et de l'imperceptibilité dans le filigrane.
Explore les principes de sécurité tels que le moindre privilège, le mécanisme commun et l'acceptabilité par l'utilisateur pour améliorer la protection du système.
Explore l'intégrité du noyau, la sécurité du système et la vérification du système en temps réel, en soulignant l'importance de prouver les propriétés critiques pour la construction de systèmes sécurisés et opportuns.
