面向智能家居实用完整性的HomeEndorser方案
密码学与安全
2021-09-14 v1
摘要
现代智能家居平台中的家庭自动化常借助触发-动作例程实现。尽管此类例程实现了灵活自动化，但也导致了这些系统中的一类完整性问题：不受信任的第三方可能利用平台API修改特权高完整性设备（如安防摄像头）所依赖的抽象家庭对象（AHOs，即作为触发器），从而对其发起传递性攻击。由于大多数对AHOs的访问是合法的，移除权限或施加朴素信息流控制不仅无法防止这些问题，还会破坏有用功能。因此，本文提出一种替代方法——家庭抽象背书，其通过将AHOs的拟议变更与某些特定的、先前的环境变化相关联来对该变更进行背书。我们提出HomeEndorser框架，其提供了一种策略模型，用于将AHOs的背书策略指定为相对于其位置的设备状态变化，以及一种基于平台的参考监视器，用于依据那些设备状态中介所有修改AHOs的API请求。我们在HomeAssistant平台上评估了HomeEndorser，发现可推导出超过1000条策略规则以使HomeEndorser对6个关键AHOs的变更进行背书，在背书检查微基准上以低于10%的开销防止恶意与事故，且在真实使用场景下无误报。由此，HomeEndorser为确保API引起的抽象家庭对象变更与用户环境的物理现实相关联的实用基础迈出了第一步。
引用
@article{arxiv.2109.05139,
title = {Towards Practical Integrity in the Smart Home with HomeEndorser},
author = {Kaushal Kafle and Kirti Jagtap and Mansoor Ahmed-Rengers and Trent Jaeger and Adwait Nadkarni},
journal= {arXiv preprint arXiv:2109.05139},
year = {2021}
}
备注
15 pages