PulseAugur
中
实时 11:37:30
English(EN) Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis

新验证方法可检测工业控制器中隐藏的恶意逻辑

作者 PulseAugur 编辑部 · [2 个来源] ·

研究人员开发了一种新的形式化验证方法，称为 ESBMC-LLB，用于检测隐藏在可编程逻辑控制器 (PLC) 程序中的恶意逻辑，即梯形逻辑炸弹 (LLBs)。该方法利用 ESBMC-PLC+ 验证引擎和一种新颖的建模层来暴露现有验证器通常会忽略的功能块逻辑。ESBMC-LLB 能有效地将炸弹检测重塑为形式化验证问题，能够识别非终止载荷和执行器伪造载荷。该系统在公共数据集上展示了高检测率，在识别自适应触发器和提供炸弹缺席的稳健证明方面优于其他方法。 AI

影响 通过实现对隐藏恶意逻辑的稳健检测，增强了工业控制系统的安全性。

排序理由 该集群包含一篇学术论文，详细介绍了一种用于检测工业控制系统安全漏洞的新形式化验证方法。

在 arXiv cs.CL 阅读 →

AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →

新验证方法可检测工业控制器中隐藏的恶意逻辑

报道来源 [2]

  1. arXiv cs.CL TIER_1 English(EN) · Pierre Dantas, Lucas Cordeiro, Waldir Junior ·

    Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis

    arXiv:2607.08417v1 Announce Type: new Abstract: A Ladder Logic Bomb (LLB) is malicious control logic in a Programmable Logic Controller (PLC) program that lies dormant until a trigger activates a payload to manipulate actuators, forge sensor readings, or deny operator control. We…

  2. arXiv cs.CL TIER_1 English(EN) · Waldir Junior ·

    Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis

    A Ladder Logic Bomb (LLB) is malicious control logic in a Programmable Logic Controller (PLC) program that lies dormant until a trigger activates a payload to manipulate actuators, forge sensor readings, or deny operator control. We observe that real malicious logic hides inside …

相关话题