IoTSAT: A formal framework for security analysis of the internet of things (IoT)

M Mohsin, Z Anwar, G Husari… - … IEEE conference on …, 2016 - ieeexplore.ieee.org
The new attack surface being crafted by the huge influx of IoT devices is both formidable and
unpredictable, as it introduces a rich set of unexplored attack techniques and unknown …

[PDF][PDF] IoTSAT: A Formal Framework for Security Analysis of the Internet of Things (IoT)

M Mohsin, Z Anwar, G Husari, E Al-Shaer, MA Rahman - academia.edu
The new attack surface being crafted by the huge influx of IoT devices is both formidable and
unpredictable, as it introduces a rich set of unexplored attack techniques and unknown …