Search
SECURITY MODELS
ECTS credits : 1.75
Hours
Lecture : 16.5
Practical work : 1.5
Lecture : 16.5
Practical work : 1.5
Objectives
Contact Marie-Laure POTET
Contact Marie-Laure POTET
Content
Prerequisites
Prerequisites
Knowledge of elements of logic, semantics and complexity
Assessment
exam
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