Master 2 Recherche

J'ai effectué mon stage de master 2 recherche dans l'équipe LILaC de l'IRIT, sous la direction de Philippe Balbiani. Le sujet de ce stage était l'étude du problme de la disponibilité dans les systmes de protection temporisée. Ce travail s'inscrit dans le cadre de la sécurité informatique et plus précisément dans le domaine du contr™le d'accs. Différents modles existent pour formaliser le contr™le d'accs ainsi que le problme de la protection dans les systmes d'exploitation. Cependant, aucun de ces modles ne prend en considération la notion de la disponibilité qui est l'une des notions les plus importantes dans la sécurité informatique. C'est pourquoi, j'ai proposé une approche pour la modélisation des systmes de protection temporisée dans laquelle on peut définir la disponibilité. Cette approche est une extension du modle matriciel introduit par Harrison, Ruzzo et Hullman en 1976. Dans le cadre général des systmes de protection temporisée, je n'ai pas pu donner de résultats concernant le problme de la protection. C'est pourquoi j'ai considéré une restriction de ces systmes: les systmes de protection temporisée spécifiques, pour lesquels j'ai réussi ˆ établir des résultats mathématiques concernant la décidabilité de trois problmes différents que j'ai appelés problmes de la protection temporisée. Ce travail a permis la réalisation de trois publications ( MMM-ACNS'05, SAR/SSI'06 et Fac'05), Pour plus de détail voir la liste des publications. Grâce à ce que j'ai appris durant ce stage j'ai pu tre rapporteur pour des articles soumis ˆ l'atelier SSI 2006 et aux conférences CRiSIS 2009 et ASSIACS 2010.

Thèse de Doctorat

Sujet: Composition de services: Algorithmes et complexités

Directeur: Philippe BALBIANI Philippe.Balbiani@irit.fr

Mot clés: Composition de services, automates, réseaux de Petri relations d'équivalence et de préordre, décidabilité et complexité

Soutenule e 19/06/2009 devant le jury:

Mr Philippe BALBIANI, Directeur de recherche CNRS, Université Paul Sabatier, Directeur

Mr Jean-Paul BODEVEIX, Professeur à l'Université Paul Sabatier, Président

Mr Guiseppe DE GIACOMO, Professeur à l'Université La Sapienza (Rome), Membre

Mr Guillaume FEUILLADE, Maître de conférences à l'Université Paul Sabatier, Membre

Mr Olivier PERRIN, Maître de conférences à l'Université de Nancy, Membre

Mme Sophie PINCHINAT, Maître de conférences HDR à l'Université de Rennes 1, Rapporteur

Mr Philippe SCHNOEBELEN, Directeur de recherche CNRS à l'ENS Cachan , rapporteur

Résumé

Le problème de la combinaison des services, autrement appelé problème de la composition, constitue le foyer d'une intense activité de recherche. Composer les services entre eux, c'est entrelacer leurs séquences d'actions, de manière à obtenir des séquences qui satisfassent les exigences des clients. Le problème de la composition de services est difficile à résoudre en général. Dans cette thèse nous considérons des services qui peuvent à la fois exécuter des actions de communications ainsi que des actions internes. De plus, des conditions peuvent être exigées et des effets peuvent être appliqués sur les transitions. Formellement, les services sont représentés par des automates communicants conditionnels. Nous définissons, pour ce modèle, le problème de la composition et nous étudions sa décidabilité pour différentes relations d?équivalence et de préordre à savoir : l'inclusion de traces, l'équivalence de traces, la simulation et la bisimulation. Suite aux résultats de décidabilité obtenus, nous proposons trois variantes pour le modèle initial. Pour chacune d'elles, nous définissions le problème de la composition et nous étudions sa complexité pour les relations citées ci-dessus.

Participation à des projets

  • D'Eveloppement de Systèmes Informatiques par Raffinement des contraintes Sécuritaires:

    Le projet DESIRS (2003-2006, ACI Sécurité Informatique) vise à étendre les techniques classiques de développement de système en intégrant des aspects sécuritaires sous la forme dénoncé dèontiques. Il rassemble des spécialistes du développement par raffinement de systèmes et des spécialistes de la modélisation déontique des systèmes, notamment par le modèle OrBac.

    Réalisation:

    Publication: MMM-ACNS'05 (voir la liste des publications)

  • Projet COmposition des Politiques et des Services:

    j'ai effectué ma thèse dans le cadre du projet COPS (2006-2008). Le projet COPS est un projet de l'action de recherche amont « Sécurité des Système et Intelligence Ambiante ». Des chercheurs de l'IRIT, LIF, LIFC et le LORIA y participent.

    Réalisation:

    Participation à des réunions avec présentation de l'avancement de mes travaux

    Elaboration du site Internet

    Publications: MFI'07, MFI'09, ICE'09, WSCA'09, etc (voir la liste des publications)

  • Projet Projet Automated VAlidatioN of Trust and Security of service-oriented Architecture:

    AVANTSAR (2008-2010) est un projet européen. Des chercheurs de l'université de Vérone, de l'université de Gênes, de ETH Zurich, de l'INRIA, IRIT, IBM, OPENTRUST, Institut e-austria, SAP et SIEMENS y participent.

    Réalisation:

    Participation à des réunions avec présentation de l?avancement de mes travaux

    Publications: ICE'09, WSCA'09, etc (voir la liste des publications)

    Rédaction d'un rapport contenant un état de l'art sur le problème de l'orchestration de services

  • Projet RObots et Systèmes Auto-adaptatifs Communiquants Embarqués:

    Le projet ROSACE (2008-2012) est un projet de la FONDATION de COOPERATION SCIENTIFIQUE RTRA, Sciences et Technologies pour l'Aéronautique et l'Espace. Des chercheurs du CERT-ONERA, IRIT et du LAAS-CNRS y participent.

    Réalisation:

    Participation à des réunions avec présentation de l'avancement de mes travaux

    Publications: MFI'09 (voir la liste des publications)

Bourses et collaborations

    J'ai bénéficié d'une bource ATUPS qui m'a permis de séjourner un mois en Italie et de collaborer avec Daniela Berardi, Giuseppe De Giacomo et Massimo Mecella. Cette collaboration nous a permis de réaliser deux articles, un dans un journal (IJFCS'08) et l'autre dans une conférence internationale (SWS'06), voir la liste des publications.

    Dans le cadre de ma thèse, j'ai collaboré avec Olga Kouchnarenko et Pierre-Cyrille Heam. Cette collaboration nous a permis de réaliser un article publié dans la conférence internationale FACS'09, voir la liste des publications.

    J'ai également collaboré avec Guillaume Feuillade. Ce qui nous a permis de publier des articles dans MFI'07, MFI'09, WSCA'08, ICE'08 et M4M'09, voir la liste des publications.

Comités d'organisation

  • Colloque annuel des doctorants EDIT'06:

    organisé par l'Ecole Doctorale en Informatique et Télécommunication (EDIT), 22 et 23 Mai 2006

    Réalisation:

    présidente de la session « Logique et Interaction»

  • Second International conference on Computational Models of Argument COMMA'08:

    organisée par l'Université des Sciences Sociales (UT1) et l'Université Paul Sabatier (UPS), du 28 au 30 Mai 2008

    Réalisation:

    assurer des permanences au « Registration Desk »

    Rapports de lecture

    • Rapporteur pour l'atelier: Sécurité des Systèmes d?Information (SSI), dans le congrés INFORSID, 2006

    • Rapporteur pour la conférence internationale: Principles of Knowledge Representation and Reasoning (KR), 2008

    • Rapporteur pour la conférence internationale: Mexican International Conference on Computer Science (ENC), 2008

    • Rapporteur pour la conférence internationale: Conference on Risks and Security of Internet and Systems (CRiSIS), 2009

    • Rapporteur pour le symposium: ACM Symposium on Information Computer and Communication Security (ASSIACS), 2010

Contact details

Address: IRIT Université Paul Sabatier, 118 Route de Narbonne, F-31062 TOULOUSE CEDEX 9.

E-mail: Fahima.Cheikh@irit.fr

Téléphone: (33)05-61-55-60-91