★ 4
英伟达发布 OpenShell 0.1 智能体安全运行时
英伟达推出 OpenShell 0.1.x,这是面向大规模自主 AI 智能体的安全私有运行时,通过内核插桩对文件访问、系统调用与网络连接实时执行策略,并用形式化验证预判策略变更影响。新版本带来稳定发布节奏、新隔离原语、扩展接口与新 API,需 Linux、macOS 或 WSL 2 环境。
Hacker News10 天前
共 5 篇相关资讯,按重要度与时间排序,每 3 小时更新。
英伟达推出 OpenShell 0.1.x,这是面向大规模自主 AI 智能体的安全私有运行时,通过内核插桩对文件访问、系统调用与网络连接实时执行策略,并用形式化验证预判策略变更影响。新版本带来稳定发布节奏、新隔离原语、扩展接口与新 API,需 Linux、macOS 或 WSL 2 环境。
英伟达开发者博客介绍 Sentry,一套在运行时保护AI智能体的安全机制,用于监控与拦截智能体的越权行为。该方案面向企业部署智能体时的安全与合规需求。
论文提出 CASEL,一种模型无关的运行时分配策略,综合校准失败概率、状态相关后果、可逆性、歧义与证据新鲜度,为每次工具调用选择直接执行、验证、沙箱、澄清、审批或弃权。模拟实验中,有害副作用轨迹从 14.75% 降至 7.02%,平均归一化危害从 0.184 降至 0.123。
开发者发布开源运行时安全层 Pryxor,用于在 AI 智能体执行动作前进行授权评估。该网关对智能体的具体工具调用做确定性策略校验,输出批准、阻止或挂起三种结果,并支持人工审批,定位为动作边界的执行控制点而非 LLM 防火墙。
论文提出 ZeroGate 机制,将精确动作审批与持久化本地准入分离:签发方签署短时效 ActionPass,可信运行时适配器在本地门控校验绑定并消耗 nonce 前重建最终动作。SQLite 事务将 nonce 消耗、配额更新与准入回执耦合,并给出条件性决策保持命题。在 Azure Blob 实…