Show Menu
Hide Menu
Startseite LIP6
Ein Wort des Direktors
Organigramm
Organisation des LIP6
Direktion
Verwaltung
IT Service
Wissenschaftlicher Rat (Conseil scientifique)
Laborrat (Conseil de laboratoire)
Verwaltungsrat
Teaching
Lage & Kontakt
Suche
Äxte & Teams
Publikationen
Projekte
ERC Projects
European Projects
France 2030
Joint Laboratories
ANR Projects
Rechenschaftsbericht
Bewertung
Unsere Fähigkeiten
Zusammenarbeiten
Softwareprogramme
Patente
Start-ups
Stellenangebote
Adressverzeichnis
Kolloquium
🔒
📫
🇩🇪
🇫🇷
🇬🇧
🇩🇪
-
Computer Science Laboratory
Sorbonne Universté
Centre National de la Recherche Scientifique
Adressverzeichnis
BLOND Julien
Doktorant at Sorbonne University
Forschungsgruppe :
SPI
Forschungsleitung (Direction de recherche)
: Thérèse HARDIN
Co-Betreuung
: RIOBOO Renaud
Outil pour implémentation de logiciels certifiables EAL7
Verteidigung einer Doktorarbeit
: 30.11.2010
Datum, an dem das LIP6 verlassen wurde : 30.11.2010
Publikationen 2006-2010
Alle
Verantwortlicher Kommunikation
These
2010
J. Blond
: “
Outil pour implémentation de logiciels certifiables EAL7
”, these, verteidigung einer doktorarbeit 30.11.2010, forschungsleitung (direction de recherche) Hardin, Thérèse, co-betreuung : 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)