Show Menu
Hide Menu
Le LIP6
À propos
Organigrammes
Organisation
Comité de Direction
Direction Administrative et Financière
Direction de l’Ingénierie Numérique
Conseil scientifique
Conseil de laboratoire
Conseil des doctorants
Enseignements
Localisation & Contact
Recherche
Axes & Équipes
Publications
Projets
Projets ERC
Projets Européens
Programmes et Équipements Prioritaires de Recherche
Laboratoires Communs
Projets ANR
Rapports d’activité
Valorisation
Nos compétences
Collaborer avec nous
Logiciels
Brevets
Start-ups
Emplois
Annuaire
Colloquium
🔒
📫
🇫🇷
🇫🇷
🇬🇧
-
Laboratoire d’informatique
Annuaire
BLOND Julien
Doctorant à Sorbonne Université
Équipe :
SPI
Direction de recherche
: Thérèse HARDIN
Co-encadrement
: RIOBOO Renaud
Outil pour implémentation de logiciels certifiables EAL7
Soutenance
: 30/11/2010
Date de départ : 30/11/2010
Publications 2006-2010
Toutes
Communications
Soutenance de thèse
2010
J. Blond
: “
Outil pour implémentation de logiciels certifiables EAL7
”, soutenance de thèse, soutenance 30/11/2010, direction de recherche Hardin, Thérèse, co-encadrement : Rioboo, Renaud (2010)
2006
J. Blond, Ch. Morisset
: “
Formalisation et implantation d’une politique de sécurité d’une base de données
”, Journées Francophones des Langages Applicatifs (JFLA), Pauillac, France, pp. 71-86, (INRIA) (2006)