L’Association tunisienne de sécurité numérique (ATSN), présidée par M. Adel
Bouhoula, professeur à Sup’Com, organise samedi 1er novembre 2008, à
l’Amphithéâtre de Sup’Com (Cité Technologique des Communications), un workshop
international sur «méthodes formelles pour la sécurité des systèmes et réseaux».
Y prennent part en particulier trois experts français -Florent JACQUEMARD,
Chargé de Recherche à l’INRIA Futurs («Politiques de sécurité et configuration
des firewalls : compilation et vérification automatique», Michaël RUSINOWITCH,
Directeur de Recherche à l’INRIA Lorraine («Analyse de protocoles de sécurité»),
et Alain GIORGETTI, Maître de Conférences au Laboratoire d’Informatique de
l’Université de Franche-Comté («Automates et annotations JML pour la
vérification de programmes Java»).
Deux étudiants-chercheurs de Sup’Com –et membres de l’ATSN- interviendront
également au cours de ce workshop. Il s’agit de Nihel BEN YOUSSEF, et Nizar BEN
NEJI, qui parleront respectivement de la «Vérification formelle de la conformité
et de la complétude des règles de filtrage par rapport à une politique de
sécurité» et de l’«Optimisation des performances des firewalls».
Cette manifestation est organisée à l’occasion du 21ème anniversaire du 7
Novembre.
