RAISE: Reinforcing Access Control Policy Synthesis in LLMs via Symbolic Evaluation
该论文关注一个在云权限治理中极具现实意义的问题：如何把自然语言描述的访问控制需求，可靠地翻译成形式化、可验证的授权策略。作者指出，这类转换并不只是语法层面的翻译，而需要对权限、约束与例外条件进行严格推理，即便当前最前沿的大模型也常常生成语义
#cs.SE
共收录 457 条相关情报。
← 返回所有主题Evaluating System One Models for Agent Security Decisions: Reliability, Calibration, and Selective Automation
该论文研究的是"基于模型的判别器"(model-based judges)能否可靠支撑智能体的自动化安全决策。背景是:LLM 智能体在运行中需要实时判断外部输入是否包含提示注入、是否带来交互风险、是否为有害请求。所谓 System One
From Source Code to Network Profile: Automated and Traceable MUD Profile Generation for IoT Devices
本文针对物联网（IoT）制造商使用说明（MUD, Manufacturer Usage Description）标准在实际落地中的关键瓶颈展开研究。MUD 允许厂商在 MUD 文件中声明设备预期的网络行为，该文件可被翻译为可强制执行的访问控
Context-Aware Functional Modeling for Android Third-Party Library Detection
Android 应用普遍复用第三方库（TPL），这既引入安全风险，也会干扰下游程序分析（如漏洞归属、隐私合规、SBOM 生成）。现有 Android TPL 检测方法存在两个关键局限：一是依赖手工特征，在激进代码变换（混淆、裁剪、优化）下极
MetaPermit: Scalable and Auditable Access Control for AI Agents via LLM-Inferred Meta-Attributes
自主 AI agent 配合工具使用带来了显著安全风险，既包括非预期的工具误用，也包括通过间接提示注入（IPI）实现的对抗性操纵。实践中，OpenAI Codex、Claude Code 等已部署的 agent 系统采用"粗粒度权限规则 +
AGATE: Provenance-Based Runtime Defense Against Compositional Attacks on LLM Agents
该论文针对 LLM Agent 在真实业务环境中可能通过一连串「看似普通」的操作组合产生有害后果这一问题，提出了一种基于来源追溯（provenance）与授权的运行时防御机制 AGATE。作者指出，判断一个 Agent 动作是否应当被允许，
A Lightweight Ethereum Voting Prototype for Hospital Ethics Committees with Receipt-Based Inclusion Verification
本文提出并实现了一个面向医院伦理委员会（Hospital Ethics Committee）投票场景的轻量级以太坊原型系统，技术栈为 Solidity 智能合约、Hardhat 开发与测试框架、React 前端、MetaMask 钱包与 e
Automated Abstraction Refinement for Information Flow Security in Embedded Systems
本文聚焦安全敏感嵌入式系统的信息流安全验证问题。信息流分析（IFA）是验证机密性与完整性的重要手段，但嵌入式系统天然具有并发性与时间相关性，导致既有 IFA 方法往往陷入两难：要么抽象过于粗糙而精度不足、无法判定非法信息流是否存在，要么保持
Calibrated Decision Models for Autonomous Penetration-Testing Harnesses: JEV and Laya as System One Decision Layers for LLM-Driven Pentest Agents
该论文关注自主渗透测试编排框架（autonomous penetration-testing harness）中的决策可靠性问题。当前这类框架普遍使用大语言模型（LLM）完成侦察、利用与报告生成，但同时也让同一个 LLM 去确认漏洞发现是否
CONCURDEP: Event-Guided Analysis of Dependency Invalidation in CPython Concurrency
该论文关注 CPython 移除全局解释器锁（GIL，即 free-threaded 构建）后带来的新安全问题：原生 C 扩展代码原本不必面对 C 语言类型之外的并发语义，如今却会在「获取」与「使用」之间遭遇对象的并发撤销。作者指出，一个原
Agent Approval Laundering: Transitive Effects Beyond the Approved Invocation
这篇论文（cs.SE）系统研究了编码智能体（coding agent）审批机制的覆盖盲区。问题起点是：审批界面把人类的批准决定绑定到某一条命令或某一个工具调用上，但开发者工具真正执行的是该调用所激活的整条传递性工作流。例如安装一个包可能触发
Where Cyber Agents Struggle: Bottleneck Analysis of Multi-Stage LLM Agents
该论文针对多阶段 LLM 网络代理（multi-stage LLM-based cyber agents）的评测方法提出批评与改进：仅看任务成功率会掩盖代理的低效、依赖重试的适应性，以及对执行证据的错误解读。作者对一个“自主对抗代理”系统做
Who Is Behind the Harness? Fingerprinting LLMs through Agentic Behavior
该论文关注一个新兴且具有安全含义的问题：大语言模型（LLM）正越来越多地通过 coding-agent harness（编码智能体脚手架）来运行，这类脚手架会检查代码仓库、调用工具并修改文件。因此，替换智能体背后的模型，可能会改变与安全相关
Issuer-Sovereign Agentic Payments
该论文关注 AI agent 开始自主发起真实支付这一新兴场景，指出现有主流实现方式存在一个结构性缺陷：agent 完成支付时依赖某个凭证提供方（credential provider），而该提供方在当前已部署的方案中通常位于持卡人银行（发
Solidity Meets LLMs: A Transformer-Based Approach to Smart Contract Vulnerability Detection
该论文关注区块链与以太坊生态中智能合约的安全问题。随着智能合约在去中心化应用中的采用度不断提高，合约逻辑日益复杂、所承载的资金价值持续上升，使其成为网络攻击的重点目标。作者指出现有检测手段（隐性指向传统静态分析与规则/符号执行类工具）在理解
Improving Service Availability in KubeEdge-Based Architectures Using Lightweight Intrusion Detection
随着物联网与云计算持续融合，边缘计算范式快速发展。行业预测到2030年全球联网IoT设备将达约500亿台，2025年约380亿台，数据生成量空前增长，因此网络边缘侧需要高效、可扩展且安全的数据处理机制。KubeEdge将云原生能力延伸至边缘
Ajar: Measuring Open Privilege in Agent Defenses
该论文研究语言模型代理(LM Agent)的权限边界测量问题。Agent 只能通过被赋予的工具行动，而它在完成任务时读取的数据可能改变它对工具的调用方式，这正是间接提示注入的成因。因此近年来出现了一批安全执行技术，部署在 Agent 与工具
Metrics Failure in LLM-Based Code Vulnerability Repair: An Empirical Study and a Change-Aware Screen
该论文针对 LLM 自动修复 C/C++ 安全漏洞这一研究方向，质疑了当前广泛使用的评测指标——"编译率"（compile rate，即生成的补丁能否通过编译）作为单函数漏洞修复进展代理指标的可靠性。作者使用 203 个来自 Big-Vul
Design and Evaluation of a Controlled Post-Alert Incident Orchestration and Response Subsystem Using a Rule Engine and a Local Large Language Model
该论文提出并评估了一套面向教育信息系统（实验室范围）的“告警后事件编排与响应子系统”，核心目标是在引入本地大语言模型（LLM）辅助分析的同时，保持流程的可控性、可追溯性与可恢复性，避免模型直接触发应急处置动作。架构上明确划分为四个相互解耦的
Dynamic Conformance Testing of WebGPU Through Specification-Driven Mutation
WebGPU 是浏览器中面向 Web 应用暴露现代 GPU 能力的低层图形与计算 API，其正确性与安全性直接影响浏览器渲染进程。官方 WebGPU 一致性测试套件（CTS）主要验证“良构用法”是否符合规范，并不以语义边界情况或对抗性输入去