可编程逻辑控制器（PLC）在工业控制系统（ICS）中负责执行核心控制逻辑。随着 PLC 功能增强，其运行时环境越来越多地同时运行多个应用程序，这些程序共享对 PLC 变量的访问。然而，现有 ICS 防御机制主要关注变量值是否超出预期边界，以此检测恶意更新，并未考虑执行更新的应用程序身份。这种缺口导致恶意应用程序可以在正常范围内修改变量，从而逐步将物理过程推向不安全状态。即便此类操作被检测到，运营者也难以定位责任应用，因为 PLC 记录中不关联变量更新与具体应用。针对这一问题，本文提出 MARS（Multi-Application Runtime Security）框架，实现应用级授权与变量操作的归属。MARS 方法包括：首先在隔离的虚拟 PLC（vPLC）环境中对每个应用程序进行行为刻画，生成应用特有的变量访问策略；运行期间，利用影子 vPLC 模拟生产 PLC 的变量状态，通过比对生产 PLC 与影子 vPLC 的更新记录，将生产 PLC 上的每次变量更新归属到具体应用程序，而无需对生产控制器进行插桩；同时，MARS 还能检测仅在生产 PLC 上发生、影子 vPLC 无对应更新的操作，从而识别绕过模拟的攻击。作者在制造、化工和水处理三类 ICS 测试平台上评估了 MARS，模拟攻击由未授权应用在正常边界内操作变量。结果显示，MARS 能有效检测此类操作，并准确识别责任应用。论文核心贡献包括：提出应用级变量操作授权与归属的自动化框架；设计基于 vPLC 的隔离与影子机制，兼顾真实性与零插桩；实验验证了跨领域 ICS 场景的适用性。适合 ICS 安全研究员、PLC 安全工程师、工业控制系统蓝队成员阅读。

本文提出 LogicFuzz，据作者称这是首个专门针对可编程逻辑控制器（PLC）固件中逻辑指令库进行模糊测试的框架。PLC 广泛用于工业自动化，其逻辑指令库由供应商提供并编译进设备固件，若存在安全缺陷，可能被物理控制程序、网络服务或运行时子系统利用，导致权限绕过、内存破坏或数据泄露。现有模糊测试方法多关注协议或通用固件，难以有效覆盖 PLC 指令的语义依赖和触发条件。LogicFuzz 的核心创新在于构建语义依赖图（SDG），该图同时刻画 PLC 指令的操作语义和指令间依赖关系。结合使能信号（enable-signal）机制，LogicFuzz 能够自动合成针对特定指令的种子程序，显著减少人工构造测试用例的工作量，并支持在真实 PLC 硬件上进行可控、可重置的模糊测试。为了发现由控制流触发（即调用模式）的缺陷，LogicFuzz 通过变异 SDG 来多样化指令调用上下文；为了暴露由数据触发的故障，则在有效语义约束下进行覆盖率引导的参数变异。此外，LogicFuzz 集成了多源 oracle，通过监控运行时日志、状态 LED 和通信状态来检测模糊测试过程中指令级别的异常。作者在来自三家主要厂商的六台生产型 PLC 上进行了评估，共发现 19 个指令级缺陷，其中包含 4 个先前未知的漏洞。该研究对 PLC 安全测试、工业控制系统安全研究以及固件漏洞挖掘具有参考价值。适合关注 ICS/SCADA 安全、模糊测试方法、PLC 固件分析的读者阅读。

该论文对工业控制系统中可编程逻辑控制器（PLC）的专有认证协议进行了实证研究。PLC被广泛用于核电站、电网、天然气管道等关键基础设施的物理过程控制，其控制逻辑是攻击者的主要目标。研究选取了来自Allen-Bradley、Schneider Electric、AutomationDirect和Siemens这四家主流ICS厂商的五种工业级PLC，通过仅分析网络流量（而非逆向固件）的方式，评估其认证机制是否存在设计缺陷和可利用漏洞。研究发现多款PLC的认证协议存在严重问题，包括缺乏随机数（nonce）、加密密钥过短、加密方案薄弱以及客户端认证等漏洞。研究团队基于MITRE ATT&CK知识库构建了概念验证（PoC）利用代码，并通过实验验证了这些漏洞的可利用性。该工作揭示了PLC认证安全设计中存在的行业普遍性问题，强调了改进必要。适合ICS安全研究人员、PLC制造商和关键基础设施运营者阅读。

本论文针对工业控制系统（ICS）中的可编程逻辑控制器（PLC）内存安全展开研究。PLC作为工业自动化的核心组件，其运行稳定性直接关系到生产安全。作者发现，通过精心构造的网络报文或本地攻击，攻击者能够操纵PLC的内存空间，导致控制器进入异常状态甚至完全停机。研究团队深入分析了多种主流PLC的内存管理机制，识别出若干可被利用的漏洞模式，包括缓冲区溢出、内存访问越界以及状态寄存器篡改等。他们设计了一套攻击向量，并在一组真实PLC设备上进行了实验验证。实验结果表明，攻击能够在数秒内导致PLC进程挂起或重启，且无需高级权限。这项工作不仅揭示了PLC内存安全中未被充分重视的攻击面，还提出了针对性的内存完整性检测方法，为工控系统防御者提供了新的预警和加固思路。

本文提出了一种通过状态机恢复技术发现可编程逻辑控制器（PLC）二进制程序中盲目信任漏洞的方法。PLC广泛应用于工业控制系统，其固件中常存在对输入数据缺乏充分校验的逻辑缺陷，导致攻击者可以通过精心构造的输入触发异常行为。现有静态分析工具难以有效识别这类漏洞，因为它们需要理解PLC程序的状态演化逻辑。作者设计了一套针对PLC二进制指令集的中间表示（IR），并实现了状态机自动提取算法，能够从二进制代码中恢复出PLC控制逻辑的状态转换图。在此基础上，他们定义了“盲目信任”漏洞模式：即状态机中某些状态无条件信任输入数据而未进行合法性检查。该方法在9款主流PLC型号的固件中进行了测试，发现了22个先前未知的漏洞，其中12个被确认具有实际可利用性。实验结果表明，该技术能够有效发现传统方法遗漏的安全缺陷，且误报率较低。论文还讨论了这些漏洞可能导致的后果，如非预期输出、系统死锁或物理设备损坏。该研究为工控系统安全分析提供了新视角，有助于提升PLC固件的安全性。