Cyber-Physical Taint Analysis in Multi-stage Manufacturing Systems (MMS): A Case Study

by   Tao Liu, et al.
University of Georgia
Penn State University

Information flows are intrinsic properties of an multi-stage manufacturing systems (MMS). In computer security, a basic information flow tracking technique is dynamic taint analysis (DTA). DTA tracks taint propagation from one data variable (e.g., a buffer holding a HTTP request) to another. Taint propagation paths are typically determined by data flows and implicit flows in a computer program. And the union of all the taint propagation paths forms a taint graph. It is clear that taints graphs could significantly enhance intrusion diagnosis. However, the existing DTA techniques cannot be directly used in an MMS, and a main reason is as follows: Without manufacturing-specific taint propagation rules, DTA cannot be implemented. In this work, we conduct a case study which (a) extends the existing DTA method with manufacturing-specific taint propagation rules, and (b) applies the extended method to perform preliminary intrusion diagnosis with a small-scale test-bed.


page 1

page 6

page 8

page 9


HACK3D: Evaluating Cybersecurity of Additive Manufacturing by Crowdsourcing

Additive manufacturing cyber-physical system is vulnerable to both cyber...

Cyber-Physical Microservices and IoT-based Framework: The case of Evolvable Assembly Systems

The manufacturing industry is facing the challenge to address the indivi...

SPARK: Static Program Analysis Reasoning and Retrieving Knowledge

Program analysis is a technique to reason about programs without executi...

An Empirical Study of Information Flows in Real-World JavaScript

Information flow analysis prevents secret or untrusted data from flowing...

Augmented Reality, Cyber-Physical Systems, and Feedback Control for Additive Manufacturing: A Review

Our objective in this paper is to review the application of feedback ide...

Stochastic Deep Koopman Model for Quality Propagation Analysis in Multistage Manufacturing Systems

The modeling of multistage manufacturing systems (MMSs) has attracted in...

Please sign up or login with your details

Forgot password? Click here to reset