A Modeling Language for Security Threats of IoT Systems

Delphine Beaulaton, Ioana Cristescu, Axel Legay, Jean Quilbeuf. A Modeling Language for Security Threats of IoT Systems. In Falk Howar, Jiri Barnat, editors, Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings. Volume 11119 of Lecture Notes in Computer Science, pages 258-268, Springer, 2018. [doi]

Authors

Delphine Beaulaton

This author has not been identified. Look up 'Delphine Beaulaton' in Google

Ioana Cristescu

This author has not been identified. Look up 'Ioana Cristescu' in Google

Axel Legay

This author has not been identified. Look up 'Axel Legay' in Google

Jean Quilbeuf

This author has not been identified. Look up 'Jean Quilbeuf' in Google