Themes de recherche
Mes sujets de recherche
concernent la fiabilité et la conception des systèmes informatiques.
J'ai
eu l'occasion de travailler sur la validation formelle de protocoles de communications,
l'intégration des outils de Conception Orientée Modèle (MDE - Model
Driven Engineering) et des ontologies, la conception d'applications collaboratives.
Mon
travail actuel concernent la réalisation de modèles de sécurité pour les applications
à composants, en particulier OSGi. La sécurité concerne à la fois le
domaine de la protection contre les attaques qu'un système est susceptible de
subir, que la fiabilité de ce même système, vis-à-vis d'erreurs
ponctuelles ou d'utilisation excessive
des ressources.
Securite pour OSGi
Publications