paperbot · PL 论文追踪

全部论文 待读 收藏

P1 MalSkills: Detecting Malicious Skills in the Agentic Supply Chain via Neuro-symbolic Reasoning

MalSkills:通过神经符号推理检测智能体供应链中的恶意技能
ASE Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering2026匹配度 7/10 · 论文将符号化解析(静态分析)与 LLM 辅助语义分析结合,对 LLM 智能体构件(技能包)做依赖图与值流推理,属于把静态分析技术应用到 Agentic 生态这一方向,且有大规模真实注册表落地验证,与画像中“PL→AI”“偏好理论+工程+工业落地”高度呼应。但其核心任务是供应链恶意技能的安全检测,而非对 ML/Agent 程序的分析与验证本身,也缺少浮点/贝叶斯程序分析的交叉点,故未到正中核心。引用 5 inbox
Shenao Wang, Junjie He, Yanjie Zhao, Yayi Wang, Kan Yu, Haoyu Wang
crossref: 2026-10-09

AI 速览

一句话:提出神经符号检测框架 MalSkills,从异构构件中推理识别 LLM 智能体供应链中的恶意技能,F1 达 93%。

技能(skill)把 prompt、代码与配置打包成可复用模块来扩展 LLM 智能体,随着公共注册表与市场扩张,它们构成了新兴的智能体供应链,也带来了恶意技能这一新攻击面。检测恶意技能的难点在于:关键证据分散在异构构件中,且必须结合上下文进行推理,而现有静态、基于 LLM 和动态的方法各自只覆盖问题的一部分。本文提出 MalSkills 神经符号框架:先结合符号解析与 LLM 辅助的语义分析,从异构构件中抽取安全敏感操作;再构建连接构件、操作、操作数与值流的技能依赖图;最后在该图上进行神经符号推理,推断恶意模式或此前未见过的可疑工作流。作者在含 200 个真实技能的基准上与 5 个 SOTA 基线对比,MalSkills 取得 93% F1,领先基线 5 至 87 个百分点;进一步分析 7 个公共注册表收集的 150,108 个技能,标记出 620 个潜在恶意技能,人工复核确认其中 400 个确为恶意,并已负责任地报告给平台与维护者。

问题
技能以 prompt、代码与配置的形式构成新兴的智能体供应链,恶意技能的证据分散在异构构件中且需要上下文推理,现有静态、LLM 与动态方法均只能捕捉问题的一部分。
方法
MalSkills 先用符号解析与 LLM 辅助语义分析抽取安全敏感操作,构建关联构件、操作、操作数与值流的技能依赖图,再在图上做神经符号推理以识别已知恶意模式与未见可疑工作流。
评估
在 200 个真实技能构成的基准上与 5 个最先进基线对比,MalSkills 达到 93% F1,领先 5–87 个百分点;并在 7 个公共注册表的 150,108 个技能中标记 620 个潜在恶意技能,人工确认 400 个确为恶意。
原文摘要(Abstract)

Skills are increasingly used to extend LLM agents by packaging prompts, code, and configurations into reusable modules. As public registries and marketplaces expand, they form an emerging agentic supply chain, but also introduce a new attack surface for malicious skills. Detecting malicious skills is challenging because relevant evidence is often distributed across heterogeneous artifacts and must be reasoned in context. Existing static, LLM-based, and dynamic approaches each capture only part of this problem, making them insufficient for robust real-world detection. In this paper, we present MalSkills, a neuro-symbolic framework for malicious skills detection. MalSkills first extracts security-sensitive operations from heterogeneous artifacts through a combination of symbolic parsing and LLM-assisted semantic analysis. It then constructs the skill dependency graph that links artifacts, operations, operands, and value flows across the skill. On top of this graph, MalSkills performs neuro-symbolic reasoning to infer malicious patterns or previously unseen suspicious workflows. We evaluate MalSkills on a benchmark of 200 real-world skills against 5 state-of-the-art baselines. MalSkills achieves 93% F1, outperforming the baselines by 5-87 percentage points. We further apply MalSkills to analyze 150,108 skills collected from 7 public registries, flagging 620 potentially malicious skills. Through manual review, we confirm that 400 of them are indeed malicious, all of which were responsibly reported and are currently awaiting confirmation from the platforms and maintainers. These results demonstrate the practical potential of MalSkills in securing the agentic supply chain.

链接与引用

DOI 原文 · arXiv ·

BibTeX
@inproceedings{paperbot12347,
  title = {MalSkills: Detecting Malicious Skills in the Agentic Supply Chain via Neuro-symbolic Reasoning},
  author = {Shenao Wang and Junjie He and Yanjie Zhao and Yayi Wang and Kan Yu and Haoyu Wang},
  booktitle = {ASE},
  year = {2026},
  doi = {10.1145/3832783.3834375}
}