Application du langage ASTD en cybersécurité.
Présenté par : Chaymae El Jabri
- Date :
- Cet événement est passé.
- Type :
- Soutenance de thèse
- Public :
- Bienvenue à toutes et à tous
- Lieu :
- Faculté des sciences D4-2011
L’objectif principal de cette thèse est d’explorer et de démontrer l’utilité du langage ASTD dans le domaine de la cybersécurité, à travers trois applications complémentaires.
La première application consiste à spécifier un système de détection d’événements inattendus (anomalies) fondé sur un modèle statistique. Elle met en avant la modularité et la réutilisabilité du langage ASTD, favorisant ainsi la portabilité des spécifications indépendamment des plateformes.
La deuxième application étend le langage en introduisant un nouvel opérateur, le Flow quantifié, permettant d’orchestrer plusieurs modèles d’apprentissage automatique fonctionnant en parallèle au sein d’un cadre formel, compact et visuellement clair. Cette approche facilite la validation de systèmes complexes.
Enfin, la troisième application porte sur la classification automatique des packers en convertissant un arbre de décision en une spécification ASTD équivalente, combinant ainsi la rigueur formelle et l’efficacité de l’apprentissage supervisé.
L’ensemble de ces travaux met en évidence la pertinence d’ASTD comme outil flexible et rigoureux pour la spécification, la détection d’anomalies et la classification dans divers contextes de cybersécurité.
Membres du jury :
- Marc Frappier : Directeur, Département d’informatique
- Pierre-Martin Tardif : Codirecteur, École de gestion
- Raphaël Khoury : Membre externe, Université du Québec, Département d’informatique et d’ingénierie
- Dave Touchette : Président-rapporteur, Département d’informatique
- Amine Trabelsi : Membre interne, Département d’informatique