MCP-сервер для моделирования угроз

MCP-сервер (Model Context Protocol) для комплексного моделирования угроз с управляемой валидацией кода.

Содержание

• Обзор
• Быстрый старт: промпты
• Ключевые возможности
• Предварительные требования
• Установка
• Запуск с Kiro CLI
• Управление выходными файлами
• Краткий справочник
• Обзор инструментов
• Методология моделирования угроз
• Допущения в моделировании угроз
• Разработка

Обзор

Этот сервер предоставляет инструменты для моделирования угроз, включая анализ бизнес-контекста, анализ архитектуры, анализ субъектов угроз, анализ границ доверия, анализ потоков активов, валидацию безопасности кода и формирование комплексного отчёта.

Архитектура и подход

Этот MCP-сервер вызывает LLM существующего агента вместо выполнения внешнего API- или сетевого вызова к другому сервису. Он полагается на LLM существующего клиента, которым может быть Amazon-Q, Kiro или Cline.

Этот MCP-сервер для моделирования угроз имеет три основные функции:

1. Управление фазами или состояниями моделирования угроз и управление промптами.
2. Управление промптами, которое направляет агента по методическому подходу к моделированию угроз с использованием встроенных определений бизнес-рисков, экспозиций, субъектов угроз и последовательного применения STRIDE.
3. Структурированная валидация входных данных и проверки завершения фаз, которые обеспечивают практически применимый отчёт о модели угроз.

Он также содержит инструменты для генерации итогового отчёта в форматах Markdown и JSON, пригодных для экспорта.

Ключевые преимущества этого подхода

• Эта модель угроз следует стандартному подходу STRIDE к моделированию угроз по фазам, а не быстрому заключению об активах, границах и угрозах, что может приводить к галлюцинациям или низкому качеству результата.
• LLM прилагает усилия для понимания бизнес-контекста проекта и формирования обоснованных допущений, которыми может управлять пользователь.
• Этот локальный сервер полагается на настроенную LLM MCP-клиента (Cline, Amazon Q, Kiro), а не вызывает отдельный API модели. Экспозиция данных зависит от клиента и любых других MCP-серверов, которые вызывает клиент.
• Сервер хранит рабочую модель угроз в памяти для текущего процесса. Инструменты экспорта могут записывать снимки JSON и Markdown в каталог .threatmodel, но эти снимки не загружаются автоматически в последующей сессии.
• Инструмент валидации кода фиксирует доказательства, предоставленные клиентом после проверки реализации, атомарно применяет переходы статусов и блокирует фазу до тех пор, пока не будут покрыты все текущие угрозы и меры защиты.

Быстрый старт: промпты и примеры моделирования угроз с помощью этого MCP-сервера

Примечание: Перед использованием этих промптов необходимо сначала выполнить процесс установки, чтобы настроить MCP-сервер.

Запуск модели угроз

"Threat model this project using the threat modeling MCP Server"

Указание в промпте конкретно использовать MCP-сервер для моделирования угроз гарантирует, что клиент (Cline/Kiro/и т. д.) будет следовать точным фазам и методологии, а не пойдёт по сокращённому пути и не внесёт галлюцинации в результаты.

Моделирование угроз для подпроекта или сокращение области до подпапки

"Threat model this subfolder using the threat modeling MCP Server"

Запуск на подпапке ограничивает предполагаемую область анализа. Чтобы сохранить экспорты туда, запросите выходной путь внутри этой подпапки; расположение экспорта не выводится автоматически из области анализа.

Сохранение результата модели угроз

"Save the threat model report"

Проверка полноты процесса моделирования угроз

"Please complete all the phases in the threat model plan and then generate the final report."

Передача изображения архитектурной диаграммы в качестве входных данных

"Threat model this project using the threat model MCP server and consider this architecture_image.png attached for this review"

Попытка устранения угроз

"Can you see if you can implement mitigation controls in the code based on the threats reported in the threat model"

Повторная генерация модели угроз на основе исправлений кода

"Can you updated the threat model based on the code fixes which mitigated the reported threats"

Дополнительные примеры

# Set up context
"Set business context for an e-commerce payment system"

# Add architecture
"Add a web server component using AWS EC2"
"Add a database component using AWS RDS"

# Identify threats
"Add a threat where an attacker with network access performs SQL injection"

# Add mitigations
"Add a mitigation for input validation"

# Export results
"Export the threat model to my_model.tc.json"

Ключевые возможности

• Комплексное моделирование угроз: структурированный подход к выявлению, оценке и устранению рисков безопасности
• Валидация кода на основе доказательств: фиксирует доказательства реализации, обновляет статусы и формирует детерминированный отчёт
• Анализ бизнес-контекста: понимание бизнес-ценности и критичности системы
• Анализ архитектуры: документирование технической архитектуры системы и потоков данных
• Анализ субъектов угроз: выявление потенциальных противников и оценка их возможностей
• Анализ границ доверия: выявление зон доверия и валидация средств защиты на границах
• Анализ потоков активов: отслеживание критических активов в системе
• Выявление угроз: систематическое выявление потенциальных угроз с использованием методологии STRIDE
• Планирование мер защиты: разработка стратегий устранения выявленных угроз
• Компактные менеджеры доменов: инструменты на основе действий для допущений, архитектуры, субъектов, границ, активов, угроз и мер защиты
• Руководство по моделированию угроз: пошаговое сопровождение процесса моделирования угроз
• Инспекция модели данных: один инструмент для перечисления enum-моделей и просмотра допустимых значений

Предварительные требования

Перед установкой MCP-сервера для моделирования угроз убедитесь, что выполнены следующие требования:

Требования для установки

1. Установите uvx из Astral или GitHub README
   • uvx является частью менеджера пакетов uv
   • Проверьте установку: uvx --version

Установка

После установки uvx и проверки его работоспособности добавьте приведённую ниже конфигурацию в ваш файл конфигурации mcp.json. В зависимости от типа используемого клиента (kiro/cline/amazon-q) расположение этого mcp.json будет различаться. После добавления конфигурации и перезапуска IDE MCP-сервер для моделирования угроз будет автоматически установлен непосредственно из этого репозитория GitHub с помощью uvx.

Примечание: Инструменты, используемые этим MCP-сервером для моделирования угроз, уже добавлены в autoApprove для удобства пользователя, что обеспечивает бесперебойную работу без запросов ручного подтверждения для каждого вызова инструмента. Все инструменты являются внутренними для сервера и не выполняют внешних API-вызовов. Если вы хотите проверять каждый инструмент и подтверждать его при каждом вызове, замените массив autoApprove на: "autoApprove": []

Конфигурация

Добавьте следующее в конфигурацию вашего MCP-клиента: