
Верифицируемо безопасное использование инструментов LLM-агентами: STPA встречает MCP
STPA вместе с расширенным MCP даёт формальные спецификации безопасности для инструментов LLM, а Alloy доказывает отсутствие небезопасных потоков в примере с календарём.


