
Uso de Ferramentas Verificavelmente Seguro para Agentes de LLM: STPA encontra MCP
STPA mais MCP aprimorado gera especificações formais de segurança para uso de ferramentas por LLMs, com o Alloy provando ausência de fluxos inseguros em um estudo de caso.


