Перейти к основному содержимому

#security

Безопасность

Исследования безопасности и ограничений для ИИ-агентов в финансовом контексте

Верифицируемо безопасное использование инструментов LLM-агентами: STPA встречает MCP

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