NeFut Logo NeFut
EN 管理员登录

[AI学术] XPhysICS:面向工业控制系统安全的跨物理域威胁落地方法

发布于:2026-09-29 22:00 最后更新:2026-09-30 01:41
#algorithm #Machine Learning #optimization

XPhysICS 是一种面向工业控制系统(ICS)的威胁复用框架,能够将已记录的某工厂威胁映射到另一个工厂的物理‑网络环境中。框架首先由分析师提供源抽象,包括词汇表和模式,然后在目标侧使用机器验证的目标合约进行条件化落地。落地过程通过五个可判定标准进行筛选:角色兼容性、实现类型兼容性、阶段一致性、切片可行性以及规则表面适用性。每个标准对应的证据层分别是落地接受、切片充分、动态可实现、消费者适用以及消费者结果。我们在水处理、供水、氢/水能以及化工过程四类目标上共评估了 83 条结构化源威胁抽象。针对 SWaT→水处理和 WADI→供水的受控实验显示,落地结果可分为干净、名义混淆和接近阈值三类;九例 Hydro/GRFICS 场景进一步验证了受限切片的可执行性。额外实验包括有界预测、状态感知、阶段感知的消费者路径,未改动的上游 GeCo 实现,以及基于论文复现的物理引导搜索在三组冻结落地上的表现。结果表明,跨域 ICS 威胁复用必须依赖可追溯的源语义、明确的目标条件落地准则,并在后续目标侧证据之间保持严格分离。

点评:XPhysICS 将威胁抽象与目标验证解耦,提供了系统化的跨域落地评估流程,为工业控制系统的安全复用提供了可验证的技术路径。

原文链接: https://arxiv.org/abs/2609.30805

[h] 返回首页