Verifying Security Requirements of an IoT device using SCUBA Tool Suite - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport Contrat/Projet) Année : 2018

Verifying Security Requirements of an IoT device using SCUBA Tool Suite

Domaines

Réseaux et télécommunications [cs.NI] Cryptographie et sécurité [cs.CR]

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

Fichier non déposé

Dates et versions

hal-01948512 , version 1 (07-12-2018)

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-NSS LARA LHS
236 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More