Versioned Transitive Dependency-Closure Binding and Operation-Time Effect Governance for Agent Skills: ClosureBound
该论文针对 Agent Skills 生态中依赖闭包与授权绑定问题提出 ClosureBound 参考监视器。Agent Skills 将指令、文件、包、工具、模型和服务组合成一个混合执行单元,其操作身份可能超出原始签名目录,导致传统基于根
今日共收录 1483 条安全情报,包含 593 个 CVE,506 篇安全通告,以及 97 篇研究论文。
← 返回归档列表该论文针对 Agent Skills 生态中依赖闭包与授权绑定问题提出 ClosureBound 参考监视器。Agent Skills 将指令、文件、包、工具、模型和服务组合成一个混合执行单元,其操作身份可能超出原始签名目录,导致传统基于根
该研究旨在验证两种独立 LLM 安全削弱因素是否会相互叠加:一是结构化对抗性提示 Jailbreak 类——称为“非自愿上下文学习”(Involuntary In-Context Learning, IICL),即把有害请求包装成一个由模式
扩散模型水印技术通过在生成过程中嵌入可验证信号,并在验证时恢复与生成轨迹相关的证据来确认水印,因此对常规的像素空间扰动具有较强的鲁棒性。已有的水印去除攻击要么沿确定性轨迹执行再扩散,但这类轨迹往往保留了含有水印的潜在结构;要么需要对每张图像
本文是面向系统安全的系统化知识综述(Systematization of Knowledge, SoK),聚焦软件化多域数据隔离(Multi-Domain Data Segregation, MDDS)在任务关键型语音通信系统(VCS)中的
本文研究点地图(dot maps)这一可视化形式在公开发布时可能导致的隐私泄露问题。点地图将敏感数据中的每个个体以地理区域上的一个点呈现,被广泛用于展示空间分布规律。然而,现有文献对大面积区域点地图的隐私风险认知有限。作者系统性地分析了此类
本论文研究大型语言模型中精确删除用户数据记录的问题。在具有循环记忆或混合架构(如线性注意力模型)中,数据记录被折叠进模型状态,用户请求删除时,模型的状态必须与从未存储该记录的状态一致才算完全遗忘。独立编码的行可以轻松移除,但循环记忆中的记录
硬件在设计制造之前通常通过寄存器传输级(RTL)仿真进行验证。为了测试与安全相关的信息流属性(如机密性和完整性),可以在设计中自动添加污点逻辑来跟踪信息如何流动。然而,最先进的污点逻辑仪器(如CellIFT)使基于仿真的测试开销过高:在Me
该论文研究人工智能驱动的脑机接口(BCI)系统的安全攻击面。随着BCI技术将神经信号直接与物理设备相连,攻击者可利用该接口威胁认知自主性、心理隐私和物理安全,包括神经数据窃取和恶意控制连接设备。作者提出了一类名为NERVE Attacks的
该论文提出了一种新颖的双极化反向散射整流天线(dual-polarized backscattering rectenna),面向无线能量传输与物联网应用。该整流天线由两位数字控制信号驱动,可在两种截然不同的模式下运行:能量收集模式与反向散
本文针对Agentic AI系统引入的持久内存攻击面,提出了一种名为MemSentry的防御框架。Agentic AI系统通过持久记忆保存用户交互和系统状态,但攻击者可以向长期记忆中注入对抗性内容,即内存投毒(Memory Poisonin
长时运行的基于语言模型的智能体依赖于持久记忆来跨轮次保持上下文。许多智能体内存系统采用软撤销机制处理矛盾信息:当某个事实被新事实取代时,旧事实被标记为“已撤销”但仍保留在存储中,而非物理删除。然而,这种撤销标记在检索阶段是否真正被强制执行,
本文研究了一类与格筛法(lattice sieving)相关的几何组合问题,具体关注“元组格筛法”(tuple lattice sieving)中的球堆积(sphere packing)界。作者首先定义了“k-不可约”单位向量集:任意二到k
隐写术旨在将秘密消息嵌入看似正常的通信内容中,以实现隐蔽传输。本研究聚焦于量子系统的相位域信息隐藏,该方向此前尚未被充分探索。作者提出了一种基于量子傅里叶变换构造的有限维量子希尔伯特变换(Quantum Hilbert Transform,
本文研究二元域 F2 上多元二次方程系统(MQ 系统)的解计数及其与复杂度理论的关系。判定一个平方二次系统(方程数等于变量数)是否有解是经典的 NP 完全问题,其困难性是构造后量子密码方案的基石。令 MQ_0(n) 和 MQ_1(n) 分别
该论文提出 Attestream,一种基于区块链的架构,用于间歇性交付的数据集流,解决持续产生且商业价值高的数据(如传感器流、遥测数据、机器学习训练数据)提供商无法验证数据是否被实际使用的问题。核心思想是将持续交付与可验证的使用报告绑定:数
该论文针对 5G NR 网络中通过侧信道实现用户追踪的研究。此前已有工作利用弱运营商配置泄露网络参数(如无线网络临时标识符 RNTI 或加扰因子 N_ID),或者通过低效的暴力破解方式解析下行控制信息(DCI),从而实现对用户的识别、实时活
该论文针对AI编码助手(如Claude Code、Cursor、GitHub Copilot、OpenAI Codex)的供应链安全缺陷进行了实证研究。这些工具通常通过开发者编写和共享的配置文件(指令文件、技能、钩子、MCP服务器声明、子代
本文提出一种自动化流水线,用于从异构网络威胁情报(CTI)源中生成可操作的攻击表示。现代安全运营依赖来自半结构化威胁表示、IoC、叙事性技术报告等多种来源的CTI,但这些孤立信息往往不足以重构攻击的完整过程、各步骤的可行条件及留下的痕迹。分
本文针对工业控制系统(ICS)和运营技术(OT)环境下基于异常的入侵检测系统(IDS)所面临的正式韧性要求展开研究。当前,这类系统被期望具备吸收对抗扰动、在持续攻击下优雅降级以及提供经认证的系统级保障能力。然而,现有的网络物理系统韧性框架通
该论文针对现实世界中的数字隐私事件展开实证研究,旨在评估隐私增强技术(PETs)的目标与能力是否与用户实际遭受的隐私伤害相错位。作者从新闻媒体中收集了257起真实隐私事件作为样本,采用内容分析法对这些事件进行系统编码,并据此提出了一种新的信