Towards Practical Integrity in the Smart Home with HomeEndorser

09/10/2021
by   Kaushal Kafle, et al.
0

Home automation in modern smart home platforms is often facilitated using trigger-action routines. While such routines enable flexible automation, they also lead to an instance of the integrity problem in these systems: untrusted third-parties may use platform APIs to modify the abstract home objects (AHOs) that privileged, high-integrity devices such as security cameras rely on (i.e., as triggers), thereby transitively attacking them. As most accesses to AHOs are legitimate, removing the permissions or applying naive information flow controls would not only fail to prevent these problems, but also break useful functionality. Therefore, this paper proposes the alternate approach of home abstraction endorsement, which endorses a proposed change to an AHO by correlating it with certain specific, preceding, environmental changes. We present the HomeEndorser framework, which provides a policy model for specifying endorsement policies for AHOs as changes in device states, relative to their location, and a platform-based reference monitor for mediating all API requests to change AHOs against those device states. We evaluate HomeEndorser on the HomeAssistant platform, finding that we can derive over 1000 policy rules for HomeEndorser to endorse changes to 6 key AHOs, preventing malice and accidents for less than 10 with no false alarms under realistic usage scenarios. In doing so, HomeEndorser lays the first steps towards providing a practical foundation for ensuring that API-induced changes to abstract home objects correlate with the physical realities of the user's environment.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/04/2018

A Study of Data Store-based Home Automation

Home automation platforms provide a new level of convenience by enabling...
research
08/13/2023

Helion: Enabling Natural Testing of Smart Homes

Prior work has developed numerous systems that test the security and saf...
research
08/31/2023

Design Challenges for the Implementation of Smart Homes

Home automation for many years had faced challenges that limit its sprea...
research
06/29/2019

Helion: Enabling a Natural Perspective of Home Automation

Security researchers have recently discovered significant security and s...
research
07/27/2017

Runtime Model Based Approach to Smart Home System Development

When developing smart home systems, developers integrate and compose sma...
research
07/05/2018

Arcades: A deep model for adaptive decision making in voice controlled smart-home

In a voice-controlled smart-home, a controller must respond not only to ...
research
03/24/2023

"Get ready for a party": Exploring smarter smart spaces with help from large language models

The right response to someone who says "get ready for a party" is deeply...

Please sign up or login with your details

Forgot password? Click here to reset