Checking Information Flow in Cloud-based IoT Access Control Policies (Extended Version)

본문 미리보기

arXiv:2607.28088v1 Announce Type: new Abstract: Many cloud providers for IoT technologies offer access control mechanisms whose proper configuration is critical for security. However, verifying permissions in isolation is insufficient in a setting where devices have different levels of trust or are compartmentalised in various subsystems. This work analyses IoT access control policies to identify potential security vulnerabilities from unwanted information flow between devices. To this end, we