Modèles pour la sécurité des systèmes informatiques - Grenoble INP - Ensimag
Formation
Rechercher
Modèles pour la sécurité des systèmes informatiques
Crédits ECTS : 1.75
Volume horaire
Cours magistraux : 16.5
Travaux pratiques : 1.5
Cours magistraux : 16.5
Travaux pratiques : 1.5
Objectifs
Contact Marie-Laure POTET
Savoir raisonner sur les programmes et les infrastructures en terme de propriétés de sécurité (aspects théoriques et outils existants).
Contact Marie-Laure POTET
Contenu
Prérequis
- éléments de cryptographie et élément de preuves
- modèles de politiques de sécurité et mise en oeuvre (DAC, MAC, RBAC)
- vulnérabilités et attaques: langages de programmation et sécurité
- architecture desécurité Java
- analyse de programmes pour la sécurité
- protocoles de sécurité et vérification
- Certification Critères Communs
Prérequis
Eléments de logique, de sémantique et de calculabilité
Contrôle des connaissances
examen écrit
N1=E1
N2=max(N1,E2)
École nationale supérieure d'informatique et de mathématiques appliquées
681, rue de la passerelle - Domaine universitaire - BP 72 - 38402 SAINT MARTIN D'HERES Copyright Grenoble INP
681, rue de la passerelle - Domaine universitaire - BP 72 - 38402 SAINT MARTIN D'HERES Copyright Grenoble INP