BLOND Julien
Direção de pesquisa : Thérèse HARDIN
Co-supervisão£o : RIOBOO Renaud
Outil pour implémentation de logiciels certifiables EAL7
Defesas : 30/11/2010
Data de partida : 30/11/2010Publicações 2006-2010
-
2010
- J. Blond : “Outil pour implémentation de logiciels certifiables EAL7”, tese, defesas 30/11/2010, direção de pesquisa Hardin, Thérèse, co-supervisão£o : 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)