面向事件驱动智能家居物联网系统的自动化配置、仿真与验证平台

• 作者: 卜磊 张时雨 张秋萍 李宣东 沈思远 王熙灶
• 来源期刊: 物联网学报
• 学科: 工学
• 关键词: 物联网 IFTTT框架 系统安全 模型检验
• 年，卷（期）: 2019,（3）
• 所属期刊栏目: 服务与应用
• 页码范围: 90-101
• 页数: 12页
• 分类号: TP311
• 字数: 10008字
• 语种: 中文
• DOI: 10.11959/j.issn.2096-3750.2019.00124

摘要

以IFTTT为代表的事件驱动型物联网系统编程框架为用户构建满足其需求的智能家居物联网系统提供了极大的便利,但也带来了严峻的安全隐患.针对此问题,设计并实现了"门神",这是一个基于模型检验的事件驱动型物联网系统配置、仿真与验证平台.用户可以在门神中自定义其系统,并进行一键式模型驱动的仿真及验证、自动检测并重现错误场景,从而理解系统行为并提升其安全性.通过大量实验可知,门神能在86.7％的案例中发现安全隐患,且平均耗时仅为0.7 s.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李宣东	南京大学软件新技术国家重点实验室	72	1417	20.0	36.0
2	张秋萍	南京大学软件新技术国家重点实验室	1	1	1.0	1.0
3	王熙灶	南京大学软件新技术国家重点实验室	1	1	1.0	1.0
4	沈思远	南京大学软件新技术国家重点实验室	1	1	1.0	1.0
5	张时雨	南京大学软件新技术国家重点实验室	1	1	1.0	1.0
6	卜磊	南京大学软件新技术国家重点实验室	6	47	3.0	6.0