Understanding and automatically detecting conflicting interactions between smart home IoT applications
Understanding and automatically detecting conflicting interactions between smart home IoT applications
复制标题
DOI：
10.1145/3368089.3409682
复制
发表时间：
2020-11
期刊：
影响因子：
--
通讯作者：
R. Trimananda;S. A. H. Aqajari;Jason Chuang;Brian Demsky;G. Xu;Shan Lu
中科院分区：
文献类型：
--
作者：
R. Trimananda;S. A. H. Aqajari;Jason Chuang;Brian Demsky;G. Xu;Shan Lu
智能家居设备提供了远程控制和自动化家用电器的便利。最先进的智能家庭环境使开发人员能够编写应用程序使智能家居设备共同完成任务，例如家庭安全和节能。智能家居应用程序通常会实现狭窄的功能，因此可以完全实现所需的功能房主可能需要安装多个应用程序。这些不同的应用程序可能相互冲突，这些冲突可能导致不希望的行动，例如在火灾中锁定门。在本文中，我们研究了三星Smartthings上的应用程序之间的冲突，这是开发和部署智能家族IoT设备的最受欢迎的平台。通过收集和研究198个官方和69个第三方应用程序，我们发现了3个类别的严重应用冲突：（1）接近访问同一设备的应用程序成对的60％，（2）超过90％的应用程序配对具有物理配对交互，（3）大约有11％的应用程序对访问相同的全局变量。我们的结果表明，智能家居应用程序之间的冲突问题是严重的，可以产生潜在的安全风险。然后，我们开发了一种冲突检测工具，该工具使用模型检查自动检测到多达96％的冲突。
Smart home devices provide the convenience of remotely control-ling and automating home appliances. The most advanced smart home environments allow developers to write apps to make smart home devices work together to accomplish tasks, e.g., home security and energy conservation. A smart home app typically implements narrow functionality and thus to fully implement desired functionality homeowners may need to install multiple apps. These different apps can conflict with each other and these conflicts can result in undesired actions such as locking the door during a fire. In this paper, we study conflicts between apps on Samsung SmartThings, the most popular platform for developing and deploying smart home IoT devices. By collecting and studying 198 official and 69 third-party apps, we found significant app conflicts in 3 categories: (1) close to 60% of app pairs that access the same device, (2) more than 90% of app pairs with physical interactions, and (3) around 11% of app pairs that access the same global variable. Our results suggest that the problem of conflicts between smart home apps is serious and can create potential safety risks. We then developed a conflict detection tool that uses model checking to automatically detect up to 96% of the conflicts.