What: Modélisation et test de mécanismes de sécurité
Who: Tejeddine MOUELHI (University of Luxembourg)
When: April 15th, 13h15
Where: B31
Abstract:Dans cet exposé, seront présentés des travaux autour de la modélisation et de la validation de la sécurité, plus précisément dans le domaine du contrôle d’accès et des applications webs. Dans le domaine de la modélisation, les travaux de recherche qui seront présentés sont autour de l’application de l’ingénierie dirigée par les modèles au domaine du contrôle d’accès pour automatiser à la fois la modélisation ainsi que le déploiement de politique de sécurité, mais aussi préparer la phase de test des mécanismes de contrôle d’accès. Concernant la partie validation, le test à partir de modèle ainsi que l’application de techniques de mutation seront également abordés. Enfin, dans cet exposé seront aussi présentés les travaux sur la sécurisation et le test d’application web. Pour finir, il y aura une discussion sur comment faire la jonction entre ces travaux et les thématiques abordées par Spirals, pour de futurs travaux.
