An Algebraic Approach to Modeling and Verifying Policy-Driven Smart Devices in IoT Systems.

Xiaotong Chi, Min Zhang, Xiao Xu

Browse the full APSEC paper archive.