A model checking-based security analysis framework for IoT systems
IoT systems are revolutionizing our life by providing ubiquitous computing, inter-connectivity, and automated control.However, the increasing system complexity poses huge challenges for security as IoT devices are distributed, highly heterogeneous, and can directly interact with the physical environment.In IoT systems, bugs in device firmware, defe