Security Vulnerabilities Test Generation from SysML and Event-B models for EMV cards - Université de Limoges Accéder directement au contenu
Article Dans Une Revue International Journal of Security and Its Applications Année : 2014

Security Vulnerabilities Test Generation from SysML and Event-B models for EMV cards

Noura Ouerdi
  • Fonction : Auteur
Mostafa Azizi
  • Fonction : Auteur
M'Hammed Ziane
  • Fonction : Auteur
Jean-Louis Lanet
  • Fonction : Auteur
  • PersonId : 918086
DMI
Aymerick Savary
  • Fonction : Auteur
  • PersonId : 956948
DMI

Résumé

The Model Based Testing (MBT) is an original approach where test cases are automatically generated from the specifications of the system under tests. These specifications take the form of a behavioral model allowing the test generator to determine, on the one hand, the possible and relevant execution contexts. On the other hand, to predict the effects of these executions on the system. This paper proposes new methodology to generate vulnerability test cases based on SysML model of Europay-Mastercard and Visa (EMV) specifications. Our main aim is to ensure that not only the features described by the EMV specifications are met, but also that there is no vulnerability in the system. To meet these two objectives, we automatically generated concrete tests basing on SysML models. Indeed, this paper highlights the importance of modeling EMV specifications. We opted for the choice of SysML modeling language due to its ability to model Embedded Systems through several types of diagrams. In our work we used state machine diagram to generate vulnerability test cases for a secure and robust system.

Dates et versions

hal-00981692 , version 1 (22-04-2014)

Identifiants

Citer

Noura Ouerdi, Mostafa Azizi, M'Hammed Ziane, Jean-Louis Lanet, Aymerick Savary. Security Vulnerabilities Test Generation from SysML and Event-B models for EMV cards. International Journal of Security and Its Applications, 2014, 8 (1), pp.373-388. ⟨10.14257/ijsia.2014.8.1.35⟩. ⟨hal-00981692⟩
282 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More