Sécurité des logiciels

Dans ce cours, on étudie la sécurité des systèmes logiciels, dans le cadre d’un paradigme “boîte noire”.

Voir le système comme une boîte noire signifie que son fonctionnement interne nous est inaccessible : l’analyse ne peut reposer que sur son comportement observable. Dans ce contexte, on peut chercher à construire un modèle de type “machine à états finis” du système, pour en vérifier des propriétés de sécurité. Ce modèle est construit en utilisant des techniques venant de la théorie des langages formels, et d’autres venant de la pratique des tests de conformité.

Supports de cours

		Introduction à l’apprentissage de modèles. Rappels de théorie des automates (Myhill-Nerode). Algorithme L*.
		Machines de Mealy : définition et apprentissage.

Pour en savoir plus sur l’apprentissage de modèles, la lecture de l’article suivant est plus que recommandée :

Model Learning par Frits Vaandrager (Communications of the ACM, Vol. 60 No. 2, 1/2/2017)