Verificacao de runtime multi-aspecto reduz a zero o sucesso de ataques contra agentes autonomos baseados em LLM em cenarios militares
Pesquisadores propuseram um framework de verificacao em tempo de execucao que decompoe politicas em linguagem natural em obrigacoes espaciais, temporais e semanticas, verificando cada aspecto separadamente e fundindo os veredictos por uma algebra de quatro valores com rastreabilidade (provenance). Testado em cenarios de evacuacao de vitimas e sustentacao logistica em zona de conflito, o sistema levou o sucesso de ataques a zero sem falsos positivos observados e com custo de microssegundos por evento, enquanto verificar apenas um ou dois aspectos isoladamente deixava boa parte dos ataques passarem.
Fonte ↗