Access Control Administration for Smart Homes
摘要
In smart homes, remote control of appliances enhances comfort and efficiency but also raises security concerns. While access control policies can restrict access, their configuration and maintenance are often difficult for non-expert users. This paper introduces a logic-based administrative model that simplifies policy specification and maintenance through user and device categorisation. Our approach unifies RBAC, ABAC and hybrid models, with distinct operational and administrative layers specified in a uniform setting. We also identify a simple yet expressive sub-model aligned with usability findings from user studies.