Xiaotong Chi, Min Zhang, Xiao Xu. An Algebraic Approach to Modeling and Verifying Policy-Driven Smart Devices in IoT Systems. In 26th Asia-Pacific Software Engineering Conference, APSEC 2019, Putrajaya, Malaysia, December 2-5, 2019. pages 189-196, IEEE, 2019. [doi]
Abstract is missing.