Paper EW 2016 – Proven Security for the Internet of Things – Figure 2 – ProvenVisor