期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
面向事件驱动智能家居物联网系统的自动化配置、仿真与验证平台 被引量:7
1
作者 张秋萍 王熙灶 +3 位作者 沈思远 张时雨 卜磊 李宣东 《物联网学报》 2019年第3期90-101,共12页
以IFTTT为代表的事件驱动型物联网系统编程框架为用户构建满足其需求的智能家居物联网系统提供了极大的便利,但也带来了严峻的安全隐患。针对此问题,设计并实现了'门神',这是一个基于模型检验的事件驱动型物联网系统配置、仿真... 以IFTTT为代表的事件驱动型物联网系统编程框架为用户构建满足其需求的智能家居物联网系统提供了极大的便利,但也带来了严峻的安全隐患。针对此问题,设计并实现了'门神',这是一个基于模型检验的事件驱动型物联网系统配置、仿真与验证平台。用户可以在门神中自定义其系统,并进行一键式模型驱动的仿真及验证、自动检测并重现错误场景,从而理解系统行为并提升其安全性。通过大量实验可知,门神能在86.7%的案例中发现安全隐患,且平均耗时仅为0.7 s。 展开更多
关键词 物联网 ifttt框架 系统安全 模型检验
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部