Abstract:Numerous security concerns exist in smart home systems in which Internet of Things devices are connected through a home network to enable control using a centralised gateway with a handset device from the Internet. Safeguarding personal information privacy is an increasing concern in smart living services. To guarantee the mobile security of smart living services, security managers use taint checking approaches with dynamic taint propagation analysis operations to examine how a software-defined networking app uses sensitive information and investigate suspicious security vulnerabilities of devices and the effects of the spread of taint propagation over the Internet by identifying taint paths. For solving the dynamic taint propagation analysis problem, most approaches focus on cloud computing applications (apps) with malware threat analysis that involves program vulnerability analyses, rather than on the risk posed by suspicious apps connected to the cloud computing server. Accordingly, this article proposes a taint propagation analysis model incorporating a weighted spanning tree analysis scheme for tracking data with taint marking using several taint checking tools with an open software-defined networking architecture for solving the dynamic taint propagation analysis problem. In the proposed model, Android programs perform dynamic taint propagation to analyse the spread of risks posed by suspicious apps connected to the centralised gateway in a smart home system. In probabilistic risk analysis, risk and defence capability are used for each taint path to assist a defender in recognising the attack results against network threats caused by malware infection and to estimate the losses of associated taint sources. A case of threat analysis of a typical cyber security attack is presented to demonstrate the proposed approach. A new approach was used for verifying the details of an attack sequence for malware infection by incorporating a finite state machine to appropriately represent the real dynamic taint propagation analysis situations at various configuration settings and safeguard deployment. The experimental results proved that the threat analysis model enables a defender to convert the spread of taint propagation to loss and estimate the risk of a specific threat using behavioural analysis associated with 60 families of real malware. Consequently, our scheme was significantly effective in predicting the risk and loss of tainted data propagation for security concerns in smart home systems when the number of taint paths associated with the propagation rules discovered through taint analysis was increased.

Threat Detection in Trigger-Action Programming Rules of Smart Home With Heterogeneous Information Network Model

Security Checking of Trigger-Action-Programming Smart Home Integrations

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

Proactive Detection of Physical Inter-rule Vulnerabilities in IoT Services Using a Deep Learning Approach

Fix the Leaking Tap: A Survey of Trigger-Action Programming (TAP) Security Issues, Detection Techniques and Solutions

A Privacy-Preserving Federated Graph Learning Framework for Threat Detection in IoT Trigger-Action Programming

SAFECHAIN: Securing Trigger-Action Programming from Attack Chains (Extended Technical Report)

Using Malware for Software-Defined Networking–based Smart Home Security Management Through a Taint Checking Approach

Discovering and Understanding the Security Hazards in the Interactions between IoT Devices, Mobile Apps, and Clouds on Smart Home Platforms

Cross-App Interference Threats in Smart Homes: Categorization, Detection and Handling

Risk Assessment and Detection of API Abuse in the IoT Cloud

Phantom Device Attack: Uncovering the Security Implications of the Interactions among Devices, IoT Cloud, and Mobile Apps.

IoTFuzz: Automated Discovery of Violations in Smart Homes With Real Environment

An APT Attack Analysis Framework Based on Self-define Rules and Mapreduce

CP-IoT: A Cross-Platform Monitoring System for Smart Home

A Survey on IoT-Enabled Home Automation Systems: Attacks and Defenses

Automated Security Assessment for the Internet of Things

Ontology-Based Classification and Detection of the Smart Home Automation Rules Conflicts

TAESim: A Testbed for IoT Security Analysis of Trigger-Action Environment

HomeGuardian: Detecting Anomaly Events in Smart Home Systems

CCDF-TAP: A Context-Aware Conflict Detection Framework for IoT Trigger-Action Programming with Graph Neural Network