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 problme de la disponibilité dans les systmes 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'accs. Différents modles existent pour formaliser le contr™le d'accs ainsi que le problme de la protection dans les systmes d'exploitation. Cependant, aucun de ces modles 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 systmes de protection temporisée dans laquelle on peut définir la disponibilité. Cette approche est une extension du modle matriciel introduit par Harrison, Ruzzo et Hullman en 1976. Dans le cadre général des systmes de protection temporisée, je n'ai pas pu donner de résultats concernant le problme de la protection. C'est pourquoi j'ai considéré une restriction de ces systmes: les systmes de protection temporisée spécifiques, pour lesquels j'ai réussi ˆ établir des résultats mathématiques concernant la décidabilité de trois problmes différents que j'ai appelés problmes 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.
Master 2 Recherche
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 2006Ré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 2008Réalisation:
assurer des permanences au « Registration Desk »
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