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.

CloudTaint: an Elastic Taint Tracking Framework for Malware Detection in the Cloud

A Practical Taint-Based Malware Detection

Using Dynamic Taint Approach for Malware Threat

Using Taint Analysis for Threat Risk of Cloud Applications.

Dytaint: the Implementation of a Novel Lightweight 3-State Dynamic Taint Analysis Framework for X86 Binary Programs.

Dynamic taint analysis for vulnerability exploits detection

MDCHD: A Novel Malware Detection Method in Cloud Using Hardware Trace and Deep Learning.

TaintMan: an ART-Compatible Dynamic Taint Analysis Framework on Unmodified and Non-Rooted Android Devices

Coarse-grained Dynamic Taint Analysis for Defeating Control and Non-control Data Attacks

TaintStream: Fine-Grained Taint Tracking for Big Data Platforms Through Dynamic Code Translation

Efficient Taint Analysis with Taint Behavior Summary

From Speculation to Security

Dynamic Information Flow Analysis for Vulnerability Exploits Detection

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

Dynamic Taint Analysis Based on Virtual Technology

From Speculation to Security: Practical and Efficient Information Flow Tracking Using Speculative Hardware

Enhancing IoT Security: A Full-System Simulation Dynamic Taint Analysis Framework for Firmware

A Multigranularity Forensics and Analysis Method on Privacy Leakage in Cloud Environment

Poster: Tracevirt: A Framework For Detecting The Non-Tampering Attacks In The Virtual Machine

HYBit: A Hybrid Taint Analyzing Framework for Binary Programs.

TMAC: Taint-based memory protection via access control