Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar, Carl Schultz. A Framework for Threat-Driven Cyber Security Verification of IoT Systems. In 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops, Västerås, Sweden, April 9-13, 2018. pages 89-97, IEEE, 2018. [doi]
Abstract is missing.