实体 Iacobelli 2024

Iacobelli 2024

PulseAugur coverage of Iacobelli 2024 — every cluster mentioning Iacobelli 2024 across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

RESEARCH · CL_135187 · Jul 9 · 12:42

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

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