Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Detecting Safety and Security Faults in PLC Systems with Data Provenance   Programmable Logic Controllers are an integral component for managing many
different industrial processes (e.g., smart building management, power
generation, water and wastewater management, and traffic control systems), and
manufacturing and control industries (e.g., oil and natural gas, chemical,
pharmaceutical, pulp and paper, food and beverage, automotive, and aerospace).
Despite being used widely in many critical infrastructures, PLCs use protocols
which make these control systems vulnerable to many common attacks, including
man-in-the-middle attacks, denial of service attacks, and memory corruption
attacks (e.g., array, stack, and heap overflows, integer overflows, and pointer
corruption). In this paper, we propose PLC-PROV, a system for tracking the
inputs and outputs of the control system to detect violations in the safety and
security policies of the system. We consider a smart building as an example of
a PLC-based system and show how PLC-PROV can be applied to ensure that the
inputs and outputs are consistent with the intended safety and security
policies.

27
The categories of this paper are: comp-gas
19
The categories of this paper are: eess
14
The categories of this paper are: math-ph
3
The categories of this paper are: physics
28
The categories of this paper are: alg-geom
17
The categories of this paper are: q-fin
32
The categories of this paper are: atom-ph
4
The categories of this paper are: cond-mat
31
The categories of this paper are: ao-sci
23
The categories of this paper are: solv-int
13
The categories of this paper are: quant-ph
26
The categories of this paper are: bayes-an
25
The categories of this paper are: patt-sol
9
The categories of this paper are: nlin
36
The categories of this paper are: cmp-lg
6
The categories of this paper are: astro-ph