English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Programmable Logic Controllers are an integral component for managing manydifferent industrial processes (e.g., smart building management, powergeneration, water and wastewater management, and traffic control systems), andmanufacturing 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 protocolswhich make these control systems vulnerable to many common attacks, includingman-in-the-middle attacks, denial of service attacks, and memory corruptionattacks (e.g., array, stack, and heap overflows, integer overflows, and pointercorruption). In this paper, we propose PLC-PROV, a system for tracking theinputs and outputs of the control system to detect violations in the safety andsecurity policies of the system. We consider a smart building as an example ofa PLC-based system and show how PLC-PROV can be applied to ensure that theinputs and outputs are consistent with the intended safety and securitypolicies.

Detecting Safety and Security Faults in PLC Systems with Data Provenance