Login / Signup

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

Xiaotong ChiMin ZhangXiao Xu
Published in: APSEC (2019)
Keyphrases
  • management system
  • smart devices
  • ubiquitous computing
  • expert systems
  • cloud computing