MBT_Sec – Model-Based Testing for Security Components

Julien Botella (1) , Frédéric Dadeau (2) , Elizabeta Fourneret (2) , Bruno Legeard (2) , Julien Lorrain (2) , Romain Sibre (2)

1 Smartesting - Smartesting
2 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)

Nous présentons dans ce papier le projet ANR ASTRID Maturation MBT_Sec (Model-Based Testing for Security Components). Ce projet vise à l’intégration et à l’industrialisation de travaux de recherche ayant pour objectif le test fonctionnel de sécurité, appliqué aux composants cryptographiques.

Domaines: Technologies Émergeantes [cs.ET]; Calcul parallèle, distribué et partagé [cs.DC]; Génie logiciel [cs.SE]; Informatique ubiquitaire; Cryptographie et sécurité [cs.CR]; Système multi-agents [cs.MA]; Modélisation et simulation

Julien Botella, Frédéric Dadeau, Elizabeta Fourneret, Bruno Legeard, Julien Lorrain, et al.. MBT_Sec – Model-Based Testing for Security Components. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2015, Bordeaux, France. ⟨hal-03107826⟩