خادم MCP لنمذجة التهديدات

خادم بروتوكول سياق النموذج (MCP) لنمذجة التهديدات الشاملة مع التحقق الموجّه من الكود.

جدول المحتويات

• نظرة عامة
• مطالبات البدء السريع
• الميزات الرئيسية
• المتطلبات الأساسية
• التثبيت
• التشغيل باستخدام Kiro CLI
• إدارة ملفات الإخراج
• مرجع سريع
• نظرة عامة على الأدوات
• منهجية نمذجة التهديدات
• الافتراضات في نمذجة التهديدات
• التطوير

نظرة عامة

يوفر هذا الخادم أدوات لنمذجة التهديدات، بما في ذلك تحليل سياق الأعمال، وتحليل البنية المعمارية، وتحليل الجهات الفاعلة المهددة، وتحليل حدود الثقة، وتحليل تدفق الأصول، والتحقق من أمان الكود، وإنشاء تقارير شاملة.

البنية المعمارية والنهج

يستدعي خادم MCP هذا نموذج اللغة الكبير (LLM) الخاص بالوكيل الموجود بدلاً من إجراء استدعاء API خارجي أو اتصال شبكي بخدمة مختلفة. وهو يعتمد على نموذج اللغة الكبير الخاص بالعميل الموجود والذي قد يكون Amazon-Q أو Kiro أو Cline.

يحتوي خادم MCP لنمذجة التهديدات هذا على ثلاث وظائف رئيسية:

1. إدارة مرحلة أو حالة نمذجة التهديدات والتحكم في المطالبات.
2. توجيه المطالبات، الذي يتحكم في الوكيل لاتباع نهج منهجي لنمذجة التهديدات باستخدام تعريفات مدمجة لمخاطر الأعمال والتعرضات والجهات الفاعلة المهددة واستخدام STRIDE بترتيب متسلسل.
3. التحقق المنظم من المدخلات وفحوصات إكمال المراحل التي تدعم تقرير نمذجة تهديدات قابل للتنفيذ.

كما يحتوي على أدوات لإنشاء تقرير نهائي بصيغتي Markdown وJSON القابلتين للتصدير.

المزايا الرئيسية لهذا النهج

• يتبع نموذج التهديد هذا نهج STRIDE القياسي لنمذجة التهديدات على مراحل بدلاً من الاستنتاج السريع للأصول والحدود والتهديدات مما قد يؤدي إلى الهلوسة أو مخرجات منخفضة الجودة.
• هناك جهد من قبل نموذج اللغة الكبير لفهم سياق الأعمال للمشروع ووضع افتراضات صحيحة يمكن للمستخدم التحكم فيها.
• يعتمد هذا الخادم المحلي على نموذج اللغة الكبير المُهيأ في عميل 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
• تخطيط التخفيف: تطوير استراتيجيات لمعالجة التهديدات المحددة
• مديرو النطاقات المضغوطة: أدوات قائمة على الإجراءات للافتراضات والبنية المعمارية والجهات الفاعلة والحدود والأصول والتهديدات والتخفيفات
• دليل نمذجة التهديدات: إرشاد خطوة بخطوة خلال عملية نمذجة التهديدات
• فحص نموذج البيانات: أداة واحدة لسرد نماذج التعداد وفحص القيم المقبولة

المتطلبات الأساسية

قبل تثبيت خادم 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 الخاص بك:

لـ Amazon Q (~/.aws/amazonq/mcp.json):

{
  "mcpServers": {
    "threat-modeling-mcp-server": {
      "command": "uvx",
      "args": [
        "--from",
        "git+https://github.com/awslabs/threat-modeling-mcp-server.git",
        "threat-modeling-mcp-server"
      ],
      "env": {
        "FASTMCP_LOG_LEVEL": "ERROR"
      },
      "disabled": false,
      "autoApprove": ["manage_workflow","export_threat_model","manage_system_context","manage_assumptions","manage_architecture","manage_threat_actors","manage_trust_boundaries","manage_asset_flows","manage_threats","inspect_data_models","manage_code_validation"]
    }
  }
}

لـ VSCode Cline:

{
  "mcpServers": {
    "threat-modeling-mcp-server": {
      "command": "uvx",
      "args": [
        "--from",
        "git+https://github.com/awslabs/threat-modeling-mcp-server.git",
        "threat-modeling-mcp-server"
      ],
      "env": {
        "FASTMCP_LOG_LEVEL": "ERROR"
      },
      "disabled": false,
      "autoApprove": ["manage_workflow","export_threat_model","manage_system_context","manage_assumptions","manage_architecture","manage_threat_actors","manage_trust_boundaries","manage_asset_flows","manage_threats","inspect_data_models","manage_code_validation"],
      "timeout": 60,
      "type": "stdio"
    }
  }
}