察元AI教程库 · 文章 · 智能体

形式化监控为何失效：攻击分布熵作为基于LTL的LLM代理安全性的覆盖边界

基于线性时序逻辑（LTL）和有限自动机（FSA）的运行时安全监控正越来越多地用于拦截LLM代理中的不安全工具调用序列。然而，同一监控器在某些模型架构上实现了68-75%的攻击覆盖，在其他架构上几乎为零，且无从解释

作者:Ruiyang Zhang · 语言:en

前往原址学习

简介

基于线性时序逻辑（LTL）和有限自动机（FSA）的运行时安全监控正越来越多地用于拦截LLM代理中的不安全工具调用序列。然而，同一监控器在某些模型架构上实现了68-75%的攻击覆盖，在其他架构上几乎为零，且无从解释

返回教程库 · 察元AI产品家族