VISCR：面向动态消费级物联网基础设施的直观且无冲突安全自动化
密码学与安全
2019-08-01 v1 形式语言与自动机理论
编程语言
摘要
消费级物联网的特征在于具有异构功能与编程接口的异构设备。这种同质性的缺乏使得物联网基础设施的集成与安全管理工作对用户和管理员而言成为一项艰巨任务。在本文中，我们介绍了 VISCR，一个供应商无关的策略规范与冲突解决引擎，它能够在物联网环境中实现无冲突的策略规范与执行。VISCR 将物联网基础设施的拓扑转换为基于树的抽象，并将现有策略从异构的供应商特定编程语言（如基于 Groovy 的 SmartThings、OpenHAB、基于 IFTTT 的模板以及基于 MUD 的配置文件）翻译为供应商无关的基于图的规范。利用这两者，VISCR 可自动检测流氓策略、冲突与缺陷以实现连贯自动化。检测后，VISCR 推断新策略并将其作为现有策略的替代方案提议给用户，以进行微调与无冲突执行。我们使用一个包含 907 个物联网应用的数据集对 VISCR 进行了评估，这些应用采用异构自动化规范编程于一个模拟的智能建筑物联网基础设施中。在我们的实验中，在 907 个物联网应用中，VISCR 将其中 342 个暴露为存在一种或多种违规。VISCR 检测出了现有最先进工具所报告的全部违规，同时在额外 266 个应用中检测出新类型的违规。在性能方面，VISCR 可在 <1.2 秒内生成具有 100K 叶节点的 400 棵抽象树（用于策略规范）。在我们的实验中，VISCR 分析 907 个应用的基础设施耗时 80.7 秒；相比最先进技术减少了 14.2 倍。初始分析之后，VISCR 能够以亚秒级延迟采纳新策略以应对变更。
引用
@article{arxiv.1907.13288,
title = {VISCR: Intuitive & Conflict-free Automation for Securing the Dynamic Consumer IoT Infrastructures},
author = {Vasudevan Nagendra and Arani Bhattacharya and Vinod Yegneswaran and Amir Rahmati and Samir R Das},
journal= {arXiv preprint arXiv:1907.13288},
year = {2019}
}