A Modeling Language for Security Threats of IoT Systems

Beaulaton, Delphine;Cristescu, Ioana;Legay, Axel;Quilbeuf, Jean
(2018) published

Files

No attached file found for this publication.

Details

Authors
  • Beaulaton, Delphine
    Author
  • Cristescu, Ioana
    Author
  • Legay, AxelUCLouvain
    Author
  • Quilbeuf, Jean
    Author
Abstract
We propose a security-based modeling language for IoT systems with two important features: vulnerabilities are explicitly represented and interactions are allowed or denied based on the information stored on the IoT devices. An IoT system is transformed in BIP, a component-based modeling language, in which can execute the system and perform security analysis. As proof-of-concept for our approach we model an attack on the Amazon Smart-Key system.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Beaulaton, D., Cristescu, I., Legay, A., & Quilbeuf, J. (2018). A Modeling Language for Security Threats of IoT Systems. https://hdl.handle.net/2078.5/173033