TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems.

Yinbo Yu Jiajia Liu

Published in: IEEE Trans. Inf. Forensics Secur. (2022)

Keyphrases

management system
intelligent systems
database
information retrieval
computer systems
complex systems
safety analysis
expert systems
distributed systems
knowledge based systems
retrieval systems
safety critical
asynchronous circuits
concurrent systems