Outil pour implémentation de logiciels certifiables EAL7

2006-2010 Publications

• 2010
  • J. Blond : “Outil pour implémentation de logiciels certifiables EAL7”, these, 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), Th. Hardin, P. E. Moreau (Eds.), Pauillac, France, pp. 71-86, (INRIA) (2006)