logo EDITE Julien BLOND
Identité
Julien BLOND
État académique
Thèse soutenue le 2010-11-30
Sujet: Modélisation et implantation d'une politique de sécurité d'un OS multi-niveaux via une traduction de FoCaLize vers C
Laboratoire:
Voisinage
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Soutenance
Thèse: MODELISATION ET IMPLANTATION D'UNE POLITIQUE DE SECURITE D'UN OS MULTI-NIVEAUX VIA UNE TRADUCTION DE FOCALIZE VERS C.
Soutenance: 2010-11-30