Научны(е)й руководител(и)ь : Thérèse HARDIN
Со-руководитель : RIOBOO Renaud

Outil pour implémentation de logiciels certifiables EAL7

Защита диссертаций : 30.11.2010

Публикации 2006-2010

• 2010
  • J. Blond : “Outil pour implémentation de logiciels certifiables EAL7”, thesis, Защита диссертаций 30.11.2010, Научны(е)й руководител(и)ь Hardin, Thérèse, Со-руководитель : 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)