Automated configuration,simulation and verification platform for event-driven home automation IoT system

Automated configuration,simulation and verification platform for event-driven home automation IoT system

The IFTTT style event-driven programming paradigm benefits normal users to build their own customized home automation Internet of things (IoT) system,meanwhile,it also brings serious safety and security risks.To handle this problem,Menshen was designed and implemented,an automated configuration,simu...

Full description

Saved in:
Bibliographic Details
Main Authors: Qiuping ZHANG, Xizao WANG, Siyuan SHEN, Shiyu ZHANG, Lei BU, Xuandong LI
Format: Article
Language:zho
Published: China InfoCom Media Group 2019-09-01
Series:物联网学报
Subjects:
internet of things
IFTTT framework
system security
model checking
Online Access:http://www.wlwxb.com.cn/zh/article/doi/10.11959/j.issn.2096-3750.2019.00124/
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

http://www.wlwxb.com.cn/zh/article/doi/10.11959/j.issn.2096-3750.2019.00124/

Similar Items