BLOND Julien
Supervision : Thérèse HARDIN
Co-supervision : RIOBOO Renaud
Outil pour implémentation de logiciels certifiables EAL7
Defence : 11/30/2010
Departure date : 11/30/20102006-2010 Publications
-
2010
- J. Blond : “Outil pour implĂ©mentation de logiciels certifiables EAL7”, thesis, phd defence 11/30/2010, supervision Hardin, ThĂ©rèse, co-supervision : 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)