Skip to Main content Skip to Navigation
Reports

Verifying Security Requirements of an IoT device using SCUBA Tool Suite

Complete list of metadata

https://hal.inria.fr/hal-01948512
Contributor : Abdelkader Lahmadi Connect in order to contact the contributor
Submitted on : Friday, December 7, 2018 - 5:34:07 PM
Last modification on : Saturday, October 16, 2021 - 11:26:10 AM

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

245