Showing 1 - 2 results of 2 for search '"system security model"', query time: 0.09s Refine Results
  1. 1
  2. 2

    Automated configuration,simulation and verification platform for event-driven home automation IoT system by Qiuping ZHANG, Xizao WANG, Siyuan SHEN, Shiyu ZHANG, Lei BU, Xuandong LI

    Published 2019-09-01
    Subjects: “…internet of things;IFTTT framework;system security;model checking…”
    Get full text
    Article