A number of Internet of Things (IoTs) platforms have emerged to enable various IoT apps developed by third-party developers to automate smart homes. Prior research mostly concerns the overprivilege problem in the permission model. Our work, however, reveals that even IoT apps that follow the principle of least privilege, when they interplay, can cause unique types of threats, named Cross-App Interference (CAI) threats. We describe and categorize the new threats, showing that unexpected automation, security and privacy issues may be caused by such threats, which cannot be handled by existing IoT security mechanisms. To address this problem, we present HOMEGUARD, a system for appified IoT platforms to detect and cope with CAI threats. A symbolic executor module is built to precisely extract the automation semantics from IoT apps. The semantics of different IoT apps are then considered collectively to evaluate their interplay and discover CAI threats systematically. A user interface is presented to users during IoT app installation, interpreting the discovered threats to help them make decisions. We evaluate HOMEGUARD via a proof-of-concept implementation on Samsung SmartThings and discover many threat instances among apps in the SmartThings public repository. The evaluation shows that it is precise, effective and efficient.
翻译:为了让第三方开发者开发的各种IOT应用程序实现智能家庭自动化,出现了一些物联网平台(IOTs)平台。先前的研究主要涉及许可模式中的过度特权问题。然而,我们的工作表明,即使采用最不特权原则的IOT应用程序,如果它们相互作用,也可以造成独特的威胁类型,名为Cross-App Interference(CAI)威胁。我们描述和分类新的威胁,表明这种威胁可能造成意外的自动化、安全和隐私问题,而这些威胁无法由现有的IOT安全机制处理。为解决这一问题,我们介绍HomeGARD,这是一个为检测和应对CAI威胁而安装的经认证的IOT平台系统。我们建造了一个象征性执行器模块,以精确地从IOT应用程序中提取自动化语义学。然后将不同的IOT应用程序的语义学视为集体评估其相互作用和系统地发现CAI威胁。在IOTA应用程序安装期间,用户可以使用用户界面界面,用来解释已发现的威胁,以帮助他们做出决策。我们通过SmargURDS 和SDSDSDSDSDSDSDSDSDSUDSDSDSDSDSDSDSDSDSDSUDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDARDVDVDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDGDADADARDDSDDDDDDDDDDDDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDSDS