lilith-zero لنظام الأمن السيبراني بالذكاء الاصطناعي

وقت تشغيل أمان منخفض الكمون لـ MCP مع التحقق الرسمي والتتبع

lilith-zero من BadC Mpany هو وسيط أمان ووقت تشغيل لبروتوكول سياق النموذج، يمنع استدعاءات الأدوات غير المصرح بها وتسرب البيانات. يتداخل الأداة في طبقة النقل ويطبق تقييم سياسة حتمي للتحقق من استدعاءات الأدوات التي يبدأها الوكيل، مما يفرض نموذج تنفيذ يرفض بشكل افتراضي ويغلق الفشل قبل الإجراءات الخارجية. يركز على التشغيل منخفض الكمون، واستخدام موارد صغيرة، وتتبع موحد لدعم التدقيق وإنفاذ السياسات عبر سير عمل الوكلاء. مصمم للمهندسين والباحثين وفرق أمان المؤسسات التي تنشر وكلاء MCP الذين يحتاجون إلى حماية قابلة للتحقق وفعالة من الناحية التشغيلية.

تنفيذ تطبيقات فرض طبقة النقل التي تمنع إجراءات الوكلاء غير الآمنة

تضع الأداة فرضًا عند حدود النقل وتقيّم كل استدعاء أداة خارجي مقابل قواعد الأمان المحددة مسبقًا، مما يمنع المخاطر الشائعة للوكلاء مثل تسرب البيانات، حقن الأوامر، واستدعاء الأدوات غير المصرح بها. يتطلب النشر تحديد سياسات حتمية تتحقق منها بيئة التشغيل قبل السماح بأي إجراء خارجي. يجعل هذا التوزيع الوسيط غير معتمد على تنفيذ الوكيل بينما يجعل صحة السياسات وتغطيتها مسؤولية تشغيلية للفريق المنفذ.

يوفر تحققًا قابلًا للقياس ومنخفض التكلفة مناسبًا للوكلاء ذوي الإنتاجية العالية

أهداف الأداء ملموسة: تضيف بيئة التشغيل أقل من 0.5 مللي ثانية من زمن الانتقال من البداية إلى النهاية ويدعم التنفيذ أكثر من 1.5 مليون تحقق في الثانية. استخدام الذاكرة صغير عمدًا، مع بصمة تقريبية تبلغ 4 ميغابايت، مما يساعد بيئة التشغيل على تجنب أن تصبح عنق زجاجة في خطوط أنابيب الوكلاء ويقلل من تكاليف الموارد للنشر المجمّع.

يتكامل في طبقة الشبكة بينما يبقى غير معتمد على البروتوكول لـ MCP

يركز التكامل على التداخل في طبقة النقل، لذا فإن بيئة التشغيل غير معتمدة على نظام التشغيل أو اللغة لأي نظام يستخدم MCP. يوجد SDK بايثون لتبسيط القياس ونشر السياسات، لكن جوهر الفرض يعمل بشكل مستقل عن لغة الوكيل أو الإطار. يوحي وضع النقل بخطوة نشر في طبقة الشبكة أو الوكيل بدلاً من داخل عمليات الوكلاء الفردية.

يوفر ثوابت قابلة للتحقق وآثار تدقيق للاستخدام عالي الضمان

يأتي الضمان من التحقق الرسمي والتتبع: يتم التحقق من الثوابت الأمنية الأساسية باستخدام محقق Kani Rust وتصدر بيئة التشغيل نطاقات تتبع موحدة لتدقيق خطوات التفكير متعددة الأدوات. المشروع مفتوح المصدر بموجب رخصة Apache، ويؤكد تصميمه واستقباله بين ممارسي الأمن على الضمانات الرسمية وقابلية التتبع للبيئات التي تركز على الامتثال.

الأكثر ملاءمة للفرق التي يمكنها إدارة السياسات الحتمية واتباع سير العمل التدقيقي

بالنسبة للمنظمات التي تنشر أنظمة وكيلة على MCP، فإن الأداة هي خيار عملي عندما يمكن للفرق التشغيلية تأليف ومراجعة وصيانة السياسات الحتمية التي تفرضها بيئة التشغيل. توقع خطوة تكامل هندسي لوضع طبقة النقل وإدارة السياسات. اعتمد مراجعة السياسات البشرية وممارسات التدقيق المستمر جنبًا إلى جنب مع بيئة التشغيل لضمان تطابق الثوابت المفروضة مع نماذج التهديد المتطورة وقواعد العمل.