suivant: Modèles de la sécurité
monter: Cours-conférences
précédent: Cours-conférences
Table des matières
Au travers d'exemples de systèmes sécurisés de la vie courante,
(essentiellement la carte bancaire mais également des protocoles
d'authentification, un protocole de paiement bancaire, le navigateur
netscape, ...), le but de ce cours est de montrer
- qu'assurer la sécurité globale de tels systèmes est difficile
- qu'il existe des failles logicielles célèbres et astucieuses
- que dans le futur la complexité de ces systèmes sera très supérieure
- que les méthodes formelles sont un des rares moyens de garantir
la sécurité des systèmes présents et futurs