Rapport
(Rapport Contrat/Projet)
Année : 2018
Abdelkader Lahmadi : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01948512
Soumis le : vendredi 7 décembre 2018-17:34:07
Dernière modification le : lundi 11 septembre 2023-17:41:19
Dates et versions
Identifiants
- HAL Id : hal-01948512 , version 1
Citer
Frédéric Beck, Jérôme François, Thomas Lacour, Abdelkader Lahmadi. Verifying Security Requirements of an IoT device using SCUBA Tool Suite. [Contract] Inria Nancy - Grand Est (Villers-lès-Nancy, France); In collaboration with Red Alert Labs. 2018. ⟨hal-01948512⟩
257
Consultations
0
Téléchargements