共收录 7 条相关情报。
← 返回所有主题该论文研究一个此前较少被形式化的问题：一个被正确治理的 LLM Agent 可能进入一种「两难」状态——既不允许继续执行，也不允许自动停机。此时系统已检测到自身可观测性层或漂移检测层出现持续性失效，但它无法自行判定谁拥有恢复执行、拒绝继续或
该论文研究如何让大语言模型（LLM）可靠地参与安全协议的形式化建模。背景是：安全协议（如认证与密钥交换协议）的安全性通常需要借助 Tamarin 这类形式化验证工具来证明，而把自然语言写的协议描述（RFC、规范文档）翻译成可验证的形式化模型
该论文提出并系统化了一类智能体（Agent）安全边界失效问题，作者将其命名为 Loopjacking（回环劫持）。在带有人工审批环节（human-in-the-loop）的智能体系统中，人工批准通常被视为执行高风险操作前的最后一道安全防线；
这篇论文关注自主智能体（尤其是 agentic browser，即"智能体浏览器"）在执行安全敏感操作时的动作完整性问题。由于智能体浏览器运行在用户已认证的会话中，页面中的间接提示注入（indirect prompt injection）和
本研究聚焦于黑盒大语言模型（LLM）代理的审批流程安全。当前编码代理将高风险操作（如执行命令）置于人类审批之后，但审批对话框由代理自身生成：人类批准的是代理撰写的摘要。Lies-in-the-Loop (LITL) 攻击表明，被攻陷的代理可
该论文提出了 CyBOKClaw，一种可解释的人机协同检索框架，用于将网络安全课程中的关键词或短语（KWoPs）映射到网络安全知识体系（CyBOK）。传统的精确匹配方法在应对教育场景中广泛、模糊且仅近似对齐的术语时效果有限。CyBOKCla
业务逻辑漏洞是软件安全中一个关键且难以检测的问题，它们源于应用程序设计或实现中的错误，使攻击者能够触发非预期的行为。传统的基于模糊测试的动态分析工具在检测内存安全漏洞方面表现出色，但往往无法发现业务逻辑漏洞，因为这些缺陷需要理解特定于应用程