安全运营中心（SOC）越来越依赖自动化工具将网络威胁情报（CTI）报告映射到MITRE ATT&CK框架，但提取器的输出仍然存在错误，且通常不附带证据、溯源和验证历史，导致难以判断单个映射的可信度。本文提出TRACE-CTI，一个事后提取声明治理框架，它保留运行级预测，聚合成配置级图断言，将重复配置去重后的验证结果作为共识断言，并仅暴露受政策合规验证支持的图断言。该框架保留了原生证据粒度、完整的提取溯源、带版本的可信决策以及非破坏性撤销历史。作者在两个公开CTI语料库（共65份报告、5303个句子）上评估了TRACE-CTI，使用2×3的检索器与生成器组合矩阵，并分6个图版本增量摄入。所有设置无需修改模式即可集成，溯源路径保持完整，操作范围互不重叠，每个可信图断言都有活跃的合格验证基础。跨生成器家族的设置对相比同家族对表现出更大的输出多样性。在最终图状态下，将设置支持从k≥1增加到六方一致，使gold-aligned精度从25.3%提升至90.6%，而召回率从88.2%下降至16.3%。该图还能直接回答关于溯源、可信度、版本控制、依赖关系、分歧和审查队列的七个问题，而评估的最小扁平输出在没有增强或重新处理的情况下无法完全回答这些问题。结果表明，所提出的框架能够对提取的TTP声明进行显式、可审计的治理；观察到的验证轨迹是描述性的，不建立统计独立性或因果模型族效应。

本文对当前最先进的基于溯源的入侵检测系统（PIDS）进行了全面分析。研究背景是，尽管PIDS在检测复杂攻击方面表现出色，但其方法日益复杂，导致部署和解释困难。核心问题是：现有复杂方法是否真正优于更简单的替代方案？作者选取了多个代表性系统（如StreamSpot、Sleuth、Unicorn等），从检测精度、运行效率、可解释性等方面进行系统比较，并引入了一种简化的基线方法。实验证明，该简化方法在多个数据集上取得了相当甚至更优的性能，且开销显著降低。主要贡献包括：1）首次系统化比较多种PIDS的设计权衡；2）揭示过度复杂化可能带来边际收益递减；3）提出并验证了优先考虑简洁性的设计原则。适合安全研究人员和SOC分析师阅读，以在部署PIDS时做出更务实的决策。

本文首次从工业界视角系统评估了基于溯源的端点检测与响应（P-EDR）系统的有效性与局限性。研究通过一对一的专家访谈、在线问卷调查、相关文献调研以及系统性的测量实验四部分展开。结果显示，所有工业界专家均认为P-EDR系统比传统EDR更有效，但普遍担忧其运营成本。研究进一步揭示了学术界与工业界之间的三大鸿沟：（1）忽视客户端开销；（2）告警分类成本与解释成本不平衡；（3）服务端内存消耗过高。论文提供了P-EDR系统有效性的客观数据，并指出了工业界部署所需的关键改进方向。适合安全运维团队、EDR产品开发者和APT防御研究人员阅读。

本文提出 PAPI（Provenance-Aware Parse Insertion），一种基于来源感知的解析插入方法，用于实现语言安全（LangSec）的中间件。该方法通过追踪数据来源，在解析过程中动态插入安全控制，以防范协议混淆和注入攻击。PAPI 在解析器中介入，利用来源信息判断解析路径的合法性，从而在不显著影响性能的情况下增强安全性。实验表明，该方法能有效检测并阻止多种针对协议解析的攻击，为 LangSec 中间件设计提供了新思路。

本文针对工业控制系统（ICS）中信息技术（IT）与操作技术（OT）融合带来的多阶段网络攻击威胁，指出现有基于溯源（Provenance）的入侵检测系统（PIDS）虽然在IT环境中有效，但在工业信息物理系统（CPS）中应用受限，主要原因在于缺乏同时捕获主机级因果行为、工业网络语义和物理过程状态的数据集。为解决这一问题，作者设计并实现了一个开源、硬件在环（HIL）的CPS测试床，该测试床复制了工业化学反应器控制架构，跨越Purdue模型各层。基于该测试床，提出了ProvICS——一个专为CPS入侵检测构建的多模态溯源数据集。该数据集同步采集四个数据流：来自监控主机和资源受限PLC的完整系统溯源图、解码后的Modbus深度包检测记录，以及物理过程遥测数据。数据集包括48小时的正常阶段和22小时的攻击阶段，覆盖4个攻击战役、20种ICS ATT&CK技术和32个攻击事件，攻击类型涵盖侦察到物理过程操纵。对比分析表明，ProvICS是少数几个同时具备多主机内核级溯源、真实PLC硬件在环执行、解码Modbus流量、物理过程状态测量和原始PCAP踪迹的ICS/CPS基准数据集。基线检测实验验证了跨模态融合能够检测所有32个标注攻击事件（F1=0.913，假阳性率=1.40%），证明该数据集能够暴露跨模态的互补攻击信号，填补了先前基准的空白。

本文提出PalanTír系统，旨在通过硬件增强的系统可观测性来优化攻击溯源。现有的攻击溯源方法主要依赖软件级日志（如系统调用跟踪），但软件日志存在高开销、被篡改风险以及缺乏底层语义等问题。PalanTír利用现代处理器提供的硬件性能监控单元（PMU）和Intel Processor Trace等硬件特性，以低开销捕获细粒度的系统执行信息，从而构建准确的攻击传播图。核心创新包括：1）硬件辅助的因果追踪机制，利用硬件事件关联系统状态变化；2）基于硬件日志的溯源图压缩算法，在保证完整性的前提下显著降低存储和查询开销；3）原型系统在Linux上的实现，并在真实攻击场景（如提权、数据泄露）中验证了效果。实验表明，PalanTír相比于纯软件方案（如CamFlow、SPADE）在追踪精度上提升约40%，同时性能开销降低超过60%。本文适合系统安全、攻击溯源和硬件安全交叉领域的研究者阅读。

随着检索增强生成系统在问答任务中广泛应用，其提供的引用往往无法反映真实的信息来源影响。本文提出ProvenAI框架，将多跳问答中的透明度分解为三个独立可测量的层次：答案正确性（answer correctness）、引用保真度（citation fidelity）——衡量引用是否匹配基准支持证据，以及逐文档影响（per-document influence）——通过留一个资源出的干预实验评估每个文档对答案的实际贡献。针对HotpotQA distractor基准，ProvenAI构建包含七阶段流水线（数据标准化、检索索引、引用感知答案生成、归因审计、基于消融的影响估计、批量评估、交互检查）的系统，在509,300段落的经典语料库上评估了7,405个验证样本。系统达到53.53%的答案准确率和71.55%的平均引用保真度分数。通过一个工作示例，揭示了引用-影响差距：某被引用来源仅有微弱影响，而七个未引用来源却显著改变了输出。论文通过声明的忠实性条件形式化了表面代理与token级KL散度目标之间的关系，将框架扎根于因果中介分析和数据库来源理论，并讨论了三个测量层如何与自主科学发现中出现的加密来源架构组合。ProvenAI表明，检索增强问答中有意义的透明度要求将检索到的、引用到的和行为上有影响的证据作为三个独立、独立测量的层进行可追溯链接。

本文提出并分析了 Parent-Hash 有向无环图（PHDAG），这是一种用于链上注册表的追加型数据结构，其中每次追加操作只需对之前未触及的存储槽进行恒定数量的写入操作。此前，PHDAG 从未被作为独立原语进行形式化分析，也未被明确边界常数，更未与标准的增量 Merkle 树（IMT）进行基准比较。作者形式化证明 PHDAG 的追加操作在 gas 成本上为 O(1)，与注册表大小和树深度无关，而 IMT 的每次插入成本则是关于叶子索引的随机变量，作者推导出其均值和方差的闭式表达式。通过在 Base Sepolia 测试网上对 1 至 25 层树深度进行实验验证，观察到 PHDAG 的 gas 消耗恒定在约 76,276 gas（标准差约 6 gas），而 IMT 成本随深度线性增长。交叉点（IMT 更便宜）远低于所有已调查生产注册表的深度。此外，本文还建立了从公共事件日志中无需信任地重建注册表的方法，时间复杂度为线性，且无需链下依赖。该研究首次将 PHDAG 与 IMT 进行了系统的理论和实证对比，为链上数据结构的成本优化提供了重要参考。

本文系统综述了基于大语言模型（LLM）的智能体中证据追踪与执行溯源问题。随着LLM智能体通过与外部工具、检索系统、记忆模块、环境及其他智能体交互解决复杂任务，其自主性增强，但行为验证、调试和审计难度增加。仅靠最终答案正确性无法解释输出如何产生、每个主张依赖哪些证据、工具调用是否合理、记忆如何影响后续决策、以及执行失败的根源。证据追踪与执行溯源通过建模智能体执行过程中检索证据、工具输出、记忆项、环境观察、中间主张、动作与最终答案之间的关联来弥补这一空白。本文提出统一溯源视角，连接检索归因、主张支持、工具使用安全、记忆谱系、可观测性、调试、审计与恢复。引入分类法涵盖追踪来源、证据与执行单元、溯源关系、追踪粒度与时机、表示形式及信任函数。综述关键方法论方向，包括溯源表示、证据归因、工具使用溯源、运行时护栏、携带溯源的记忆、基于轨迹的可观测性及故障诊断。同时映射现有基准、数据集与评估指标至溯源相关能力，讨论评估如何从最终答案正确性转向过程级问责。最后，概述开放挑战，如统一轨迹模式、主张级与语义溯源、感知溯源的安全机制、真实执行轨迹基准、面向恢复的评估及隐私感知审计基础设施。本文适合AI安全、LLM可靠性及智能体治理领域的研究者和工程师阅读。

这篇论文探讨生成式AI（GenAI）对内容真实性带来的系统性风险。作者提出了“真实性债务”（authenticity debt）概念：组织在部署AI生成内容时，若未保留可验证的来源、完整性和问责机制，将累积机构性负债，未来可能在监管、法律或市场审查下暴露。论文首先构建了生成式AI危害与攻击向量的多维分类法，涵盖真实性、来源（provenance）、完整性和问责四个层面。随后，系统评估了现有技术控制手段的能力与局限性，包括数字水印（如DALL-E水印）、来源框架（C2PA、Adobe CAI）和检测技术（AI生成文本/图像检测）。核心论点是：在开放、对抗且不断演化的环境中，没有任何单一机制足以保障内容真实性。受零信任架构和企业治理框架启发，作者提出一个分层参考架构，融合密码学来源（如数字签名、区块链）、人在回路验证和持续治理，以实现大规模可防御的真实性。论文还分析了欧美监管环境（EU AI Act、美国FTC指南、NIST AI RMF），并为组织提供实践指导原则，建议将真实性建设视为机构基础设施而非事后补救。该研究适合安全架构师、合规官和AI系统设计者阅读，以理解GenAI时代内容信任的挑战及系统性解决方案。

本文是一篇针对大型语言模型（LLM）领域内指纹识别与水印技术的综述论文，旨在统一术语、生命周期阶段和评估目标，为LLM资产保护与溯源建立结构化基础。LLM的研发需要大量数据、算力和专业知识，且正被部署于高风险场景，因此保护LLM相关资产并追踪其来源至关重要。现有工作已在数据集溯源、模型所有权验证和生成内容检测等方面快速扩展，但该领域仍存在碎片化现象：指纹识别与水印的术语使用不一致，方法通常仅在孤立的资产特定场景中研究。为弥补这一差距，论文引入“隐式身份”（implicit identity）作为统一抽象概念，指LLM系统中可验证但不可直接观察的身份信号。区分了两种类型：指纹识别（从内在特性中提取的非侵入式身份）和水印（有意嵌入数据、模型或生成内容中的侵入式身份）。基于此，提出了一个生命周期分类法，将技术按数据集、模型和生成内容三个层面组织，并进一步按验证语义（基于相似性的归因VS基于密钥的验证）细分。最后，建立了一个以可识别性、鲁棒性和可部署性为核心的评估框架，总结了在现实访问和变换场景下的代表性指标。通过统一术语、生命周期阶段和评估目标，该综述为研究LLM身份技术以及开发更可靠的资产保护和溯源机制提供了结构化基础。适合LLM安全研究人员、模型开发者、内容归因系统设计者阅读。

该论文提出了KYA（Know Your Agents），一个框架无关的自主系统信任与治理层，旨在解决AI智能体运行中可能出现的错误、偏离、数据泄露或恶意行为等问题。K YA由五个核心原语组成：(1) 四门入站应用管道，结合Ed25519签名验证与多锚点固定、持久时间过期、仅收紧组合以及默认操作员批准；(2) 在三级多租户层次结构（平台默认、租户覆盖、签名外部推荐）上的仅收紧组合代数；(3) KYP（Know Your Principal），一个跨人类用户、AI智能体和服务账户的统一信任评分模式；(4) 可审计的交互乘数放大，基于AIVSS形状的加性基线，带有稳定审计码的有界非对称每交互乘数；(5) 双轴委托归因，结合静态观察门控委托信任溢价与三个SDK钩子表面的零配置运行时编排器责任归属。KYA框架无关，兼容22个智能体框架。纯函数评分器p99延迟小于1毫秒，系统在20个并发工作线程下维持约1800 ops/秒，HMAC链完整性端到端保持。四门入站应用管道在所有测试中拒绝伪造、过期、宽松和未批准的推荐（1200/1200），SQLite上p99延迟小于1毫秒。KYA能检测89%的对抗性探测（来自PyRIT和Garak的1200个探测），包括最近发布的拓扑引导多智能体攻击。该系统以Apache 2.0许可证发布，作为veldt-kya包在PyPI上可用（提交时为候选版本，稳定版v0.1.0即将发布）。

本文提出一个统一的证据框架，将密码学内容来源、鲁棒统计水印和零知识证明映射到三个法律体系（国际军事行动法、国内诉讼程序、产品监管）的证明要求中。该框架定义了一个五级威胁模型，涵盖从朴素再生、对抗性清洗、跨模型再生、主动水印移除到内部来源伪造。作者发布了包含12000个生成项（涵盖图像、音频、视频模态）的公开基准，并经过六种清洗管道处理，得到72000个评估样本。他们对四种代表性方案进行了评估，报告了在固定假阳性率下的真阳性率、鲁棒性曲线下面积、计算开销以及针对不同法律体系的条件法律充分性评分。最终将实证检测边界转化为法律充分性阈值，用于武装冲突法中的指挥决策、国内刑事和民事程序中的可采性，以及欧盟人工智能法案下的持久性审计。该成果提供了一个可复现的参考管道、公共基准和模型附件，可供律师、工程师和操作人员共同部署。

本文提出 TextSeal，一种用于大型语言模型（LLM）的本地化水印方案，旨在解决模型输出的来源追踪与蒸馏保护问题。该方法基于 Gumbel-max 采样，通过引入双密钥生成机制恢复输出多样性，并利用熵加权评分和多区域定位技术提升检测精度。TextSeal 支持推测解码和多 token 预测等服务优化，且不引入任何推理开销。在检测强度上，TextSeal 严格优于 SynthID-text 等基线方法，对文本稀释具有鲁棒性，即使在人类与 AI 内容高度混合的文档中也能实现可靠的本地化检测。方案理论上是无失真的，在推理基准测试中下游性能保持不变；跨 5 种语言的 6000 次 A/B 人类评估显示无感知质量差异。除了用于来源检测，TextSeal 还具有“放射性”：其水印信号会通过模型蒸馏传递，从而能够检测未授权的模型使用。该工作适合 LLM 服务提供商、内容认证机构及模型安全研究人员阅读。

该论文提出了一种新颖的入侵检测方法，通过将梯度信息融入基于溯源的检测规则中，实现了轻量级且自适应的入侵检测。传统基于溯源的入侵检测系统通常依赖静态规则或机器学习模型，但存在规则难以适应新型攻击或计算开销大的问题。本文方法首先利用图神经网络从系统溯源数据中提取特征，然后通过梯度优化来动态调整规则权重，使得检测规则能够根据实际数据分布自动更新，从而在保持低误报率的同时提高对未知攻击的检测能力。实验在多个真实数据集上进行，包括APT模拟攻击和普通系统活动，结果表明该方法在检测率、误报率和计算效率上均优于现有的基线方法。该工作为入侵检测领域提供了一种兼顾准确性和实时性的新思路，特别适用于资源受限的环境。

本文提出了一种利用机器学习技术优化溯源图存储系统的思路。传统溯源图存储面临规模大、查询慢等挑战。作者设计了一种学习型索引结构，通过对图数据的分布进行建模，实现了更高效的存储与检索。实验表明，该方法在存储压缩比和查询延迟上优于传统方法。该研究为安全取证中的大数据分析提供了新的工程方向。

提出基于溯源访问的子账户系统 PASS，通过 Inbox-Outbox 机制实现外部动作可验证溯源且内部转账私密，用于区块链钱包的灵活共享访问。