Verifying Security Requirements of an IoT device using SCUBA Tool Suite

Complete list of metadatas

https://hal.inria.fr/hal-01948512
Contributor : Abdelkader Lahmadi <>
Submitted on : Friday, December 7, 2018 - 5:34:07 PM
Last modification on : Thursday, January 24, 2019 - 4:22:01 PM

Identifiers

  • HAL Id : hal-01948512, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

62