Laboratoire d'Informatique de Grenoble, UMR 5217
681 rue de la passerelle
BP 72, 38402 Saint Martin D'Heres cedex
France
Bureau D325
Tel : +33 4 76 82 72 89
Fax: +33 4 76 82 72 87
E-mail : amal.haddad@imag.fr
Mon CV [pdf] [doc]
Amal Haddad |
|
Equipe Vasco Laboratoire d'Informatique de Grenoble, UMR 5217 681 rue de la passerelle BP 72, 38402 Saint Martin D'Heres cedex France Bureau D325 Tel : +33 4 76 82 72 89 Fax: +33 4 76 82 72 87 E-mail : amal.haddad@imag.fr Mon CV [pdf] [doc] |
|
Sujet de thèse
|
Domaines de rechercheContrôle d'accès, méthode B, test de conformité, test de sécurité, critères communs, cartes à puce |
Publications* Frédéric Dadeau, Amal Haddad et Thierry Moutet : Test fonctionnel de conformité vis-à-vis d'une politique de contôle d'accès. Accepté pour le journal Technique et Science Informatiques (TSI), sélection des articles de la conférence AFADL'07.* Amal Haddad et Thierry Moutet : Modélisation et vérification de contrôle d'accès selon une démarche critères communs. International conference on risks and security of internet and systems (CRISIS 2007), Marrakech, Maroc, pages 117-124. Juillet 2007. [pdf] * Frédéric Dadeau, Amal Haddad et Thierry Moutet : Test fonctionnel de conformité vis-à-vis d'une politique de contôle d'accès. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07), Namur, Belgique, pages 161-180. Juin 2007. [pdf] * L'étude de cas présenté ici concerne le contrôle d'accès d'une carte à puce. Elle met en oeuvre la démarche proposée dans l'article. *Amal Haddad : Meca : a tool for access control models (B 2007), Besançon, France, LNCS n°4355, pages 281-284. janvier 2007. [pdf] *Amal Haddad : Modélisation et vérification de politiques de sécurité. Rapport de Master 2 recherche (Système d'information) [pdf] |