Soteria:自动化物联网安全与功能分析
密码学与安全
2018-05-24 v1 系统与控制
摘要
广义上定义为物联网(IoT)的、将物理过程与数字系统相集成的商用设备的增长,改变了我们生活、娱乐和工作的方式。然而现有物联网平台无法评估某个物联网应用或环境是否安全、可靠且正确运行。本文提出 Soteria,一个用于验证物联网应用或物联网环境(协同工作的应用集合)是否遵循已识别的安全、安保与功能属性的静态分析系统。Soteria 分三个阶段运行:(a) 将平台特定的物联网源代码翻译为中间表示(IR),(b) 从 IR 提取状态模型,(c) 应用模型检测以验证所需属性。我们通过 35 条属性在 65 个 SmartThings 市场应用上评估 Soteria,发现九个(14%)独立应用违反了十条(29%)属性。此外,我们对组合应用环境的研究发现了在孤立应用中未表现出的十一项属性违规。最后,我们在 MalIoT 上演示 Soteria,MalIoT 是一个包含 17 个应用及 20 个独特违规的新型开源测试套件。
引用
@article{arxiv.1805.08876,
title = {Soteria: Automated IoT Safety and Security Analysis},
author = {Z. Berkay Celik and Patrick McDaniel and Gang Tan},
journal= {arXiv preprint arXiv:1805.08876},
year = {2018}
}
备注
Accepted to the USENIX Annual Technical Conference (USENIX ATC), 2018