Modeling virtual channel to enforce runtime properties for IoT services


Ensuring an industrial information infrastructure in a secure and safe state is a critical and mandatory requirement. Existing execution monitoring technologies do not work well to protect physical systems, especially when these supervisory control systems are open via the Internet, and the "inside" malwares may compromise and subvert the monitoring… (More)
DOI: 10.1145/3018896.3025150

7 Figures and Tables


  • Presentations referencing similar topics