BLOND Julien

Doktor
Forschungsgruppe : SPI
Datum, an dem das LIP6 verlassen wurde : 30.11.2010

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 - 14h

Alle Veröffentlichungen in Papierform 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), Th. Hardin, P. E. Moreau (Eds.), Pauillac, France, pp. 71-86, (INRIA) (2006)