2.2 KiB
Executable File
| category | tags | citekey | status | dateread |
|---|---|---|---|---|
| literaturenote | sunSoKAttacksIndustrial2021 | unread |
[!Cite] [1]
R. Sun, A. Mera, L. Lu, and D. Choffnes, “SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses,” Mar. 23, 2021, arXiv: arXiv:2006.04806. Accessed: May 16, 2022. [Online]. Available: http://arxiv.org/abs/2006.04806
[!Synth] Contribution::
Related::
[!md] FirstAuthor:: Sun, Ruimin
Author:: Mera, Alejandro
Author:: Lu, Long
Author:: Choffnes, David
~
Title:: SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses
Year:: 2021
Citekey:: sunSoKAttacksIndustrial2021
itemType:: preprint
[!LINK]
Sun et al. - 2021 - SoK Attacks on Industrial Control Logic and Forma.pdf Sun et al. - 2021 - SoK Attacks on Industrial Control Logic and Forma.pdf.
[!Abstract]
Programmable Logic Controllers (PLCs) play a critical role in the industrial control systems. Vulnerabilities in PLC programs might lead to attacks causing devastating consequences to the critical infrastructure, as shown in Stuxnet and similar attacks. In recent years, we have seen an exponential increase in vulnerabilities reported for PLC control logic. Looking back on past research, we found extensive studies explored control logic modification attacks, as well as formal verification-based security solutions. .
Notes
Comment: 18 pages w/ ref, Sok, PLC, ICS, CPS, attack, formal verification
Comment: 18 pages w/ ref, Sok, PLC, ICS, CPS, attack, formal verification
Comment: 18 pages w/ ref, Sok, PLC, ICS, CPS, attack, formal verification.
Annotations%% begin annotations %%
Imported: 2024-08-07 3:34 pm
Quote
showed
%% end annotations %%
%% Import Date: 2024-08-07T15:34:56.850-04:00 %%