مكانان لوضع الضابط
كل نظام وكيل له موقعان مرشحان لضابط أمان. الأول داخل تعليمات النموذج: أمر نظام يقول لا تحذف بيانات الإنتاج، وصف أداة يحذر من تسريب الأسرار، فقرة سياسة ملحقة بنافذة السياق. الثاني في مسار وقت التشغيل بين الوكيل والشيء الذي يحاول فعله: استدعاء الأداة، طلب الخروج، استخدام بيانات الاعتماد.
هذان ليسا متكافئين، والفرق ليس في الدرجة. القيد على مستوى الأمر هو مدخل لنظام احتمالي. يتنافس على الانتباه مع رسالة المستخدم، والمستندات المسترجعة، ومخرجات الأداة التي وصلت قبل ثلاث دورات، وأي شيء وضعه مهاجم في صفحة ويب جلبها الوكيل للتو. يخضع لكل أنماط الفشل التي يمتلكها النموذج: انحراف التعليمات عبر السياقات الطويلة، والتملق تجاه مستخدم واثق، والقابلية للنصوص المحقونة، وتباين أخذ العينات العادي. عندما يعمل، يعمل لأن النموذج اختار الامتثال. عندما يفشل، لا شيء في البنية يلاحظ.
ضابط وقت التشغيل يعترض عند النقطة التي يكون فيها الإجراء ملموسًا بالفعل. لقد أصدر النموذج استدعاء أداة باسم ووسائط. هذا الاستدعاء كائن منظم، وليس نزعة. يمكن تحليله، ومطابقته مع السياسة، وإيقافه، وإعادة كتابته، أو رفضه قبل أن يصل أي شيء إلى نظام الملفات أو الشبكة أو مخزن الأسرار. لا يحتاج الضابط إلى موافقة النموذج.
النقاش الحالي حول إطار أمان وكلاء وقت التشغيل من Nvidia وجدل مفتاح الإيقاف الأوسع هو، تحت لغة البائع، جدال حول أي طبقة تحمل السلطة. فريق يعامل النموذج كسطح تنفيذ ويحاول جعل التعليمات أقوى. الفريق الآخر يعامل النموذج كمخطط غير موثوق ويضع السلطة في المسار الذي يجب أن يعبره. الفريق الثاني محق في البنية، وانجراف الصناعة نحوه هو الرهان الصحيح.
مفتاح الإيقاف عرض
مفتاح الإيقاف فكرة جذابة لأنه يختزل مشكلة حوكمة صعبة في زر واحد. كما يفترض أمرين نادرًا ما تمتلكهما أساطيل الوكلاء: مشرف واحد له سلطة على النشر بأكمله، وقناة موثوقة من ذلك المشرف إلى كل عبء عمل قيد التشغيل.
لا ينجو أي منهما من الاحتكاك بنظام حقيقي. يتم إنشاء الوكلاء بواسطة المنسقات، وتوسيع نطاقها عبر المناطق، وتضمينها في قوائم الانتظار ومهام cron، ومنحها بيانات اعتماد تعيش أطول من العملية التي طلبتها. غالبًا ما يكون المشرف على بعد عدة طبقات من التجريد من الحاوية التي تحمل فعليًا مقبسًا مفتوحًا. الإشارة المرسلة عبر تلك السلسلة هي طلب، وليست ضمانًا، والطلبات تُسقط بواسطة sidecars المتعطلة، والشبكات المقسمة، وأعباء العمل التي في منتصف إعادة المحاولة.
ما يوقف الوكيل فعليًا هو إزالة القدرة، وليس توصيل النية. بشكل ملموس: إبطال الرمز الذي يستخدمه الوكيل، بحيث يفشل استدعاؤه التالي في التفويض بغض النظر عما يعتقد أنه يفعله. إغلاق مسار الخروج عند حدود الشبكة، بحيث لا يذهب طلب يغادر العملية إلى أي مكان. استنزاف قائمة الانتظار التي يقرأ منها الوكيل، بحيث لا يصل عمل جديد. تدوير السر الذي كان على وشك قراءته. هذه إجراءات تنفيذ لأنها تغير ما هو ممكن، وليس ما هو مقصود. إجراء إيقاف مبني على إبطال القدرة يتدهور بلطف: إذا فشل إبطال واحد، فإن الآخرين لا يزالون يعضون.
يجدر أن نكون دقيقين بشأن ما هي المصنفات السياسية وما ليست عليه. عندما ينشر مختبر معايير إيقاف أو بندًا في مواصفات نموذج يصف متى يجب على الوكيل التوقف، فهذا مستند حوكمة. يشكل السلوك، ويشير إلى النية، ويخلق المساءلة. إنه ليس آلية تنفيذ، لأنه يعيش على نفس جانب الحدود الذي يعيش فيه النموذج الذي يقيده. قراءة مثل هذه المنشورات كضمانات أمان تخطئ في اعتبار بيان القيم بيان تحكم.
قاعدة التصميم: اعترض، لا تأمر
القاعدة التي تتبع ضيقة وميكانيكية. كل أداة ذات عواقب تحصل على نقطة قرار سياسة على مسار الاستدعاء، مع وضعية الرفض الافتراضي. ذات العواقب تعني أي شيء يكتب، أو يحذف، أو يرسل، أو ينفق، أو يصادق، أو يصل خارج الصندوق الرملي. الرفض الافتراضي يعني أن الأداة غير قابلة للاستخدام حتى تسمح سياسة صريحة بالشكل المحدد للاستدعاء، بدلاً من أن تكون قابلة للاستخدام حتى يتذكر شخص ما حظرها.
الآلية غير براقة. يلف وقت تشغيل الوكيل كل أداة في معترض. قبل الإرسال، يجمع المعترض طلب قرار: المدير (أي وكيل، أي مهمة، أي هوية مفوضة)، واسم الأداة، وبصمة للوسائط، وإشارات سياقية مثل تصنيف بيانات الجلسة. يستعلم محرك سياسة، ويتلقى حكمًا بالسماح أو الرفض أو التحويل، وعندها فقط يرسل أو يعيد الكتابة أو يرفض. التحويل مهم: تنقيح حقل أو تضييق مسار غالبًا أفضل من حظر ثنائي.
يتم تسجيل كل قرار مع المدير، والأداة، وبصمة الوسائط، والحكم. البصمة بدلاً من الوسائط الخام تحافظ على السجل آمنًا للاحتفاظ مع السماح بإعادة التشغيل والنزاع. هذا السجل هو الركيزة للتدقيق، ومراجعة الحوادث، وضبط السياسة نفسها.
التعليمات لا تختفي في ظل هذا التصميم. تظل الأداة الصحيحة لتشكيل السلوك: النبرة، واستراتيجية التفكيك، ومتى تطرح سؤال توضيحي، وكيف تلخص. ما يتغير هو الادعاء الذي يتم تقديمه. لا ينبغي أن تستند أي خاصية أمان إلى تعليمة وحدها، لأن التعليمة اقتراح لنظام امتثاله احتمالي بحكم التكوين.
ما تكلفه عملية التنفيذ
الاعتراض في وقت التشغيل ليس مجانيًا، والتظاهر بخلاف ذلك ينتج بنى سيئة. ثلاث تكاليف حقيقية.
الأولى هي زمن الوصول ونقطة فشل واحدة جديدة. كل استدعاء معترض ينتظر الآن قرار سياسة، ومسار السياسة على المسار الحرج للمنتج. إذا كان غير متاح، فإن الافتراضي الصحيح هو الرفض، مما يعني أن خدمة السياسة تحتاج إلى ميزانية توافر خاصة بها لا تقل قوة عن الأدوات التي تحميها. هذا التزام هندسي، وليس تفصيل تكوين: نقاط قرار مكررة، وتخزين محلي مؤقت لحزم سياسة موقعة بصلاحية قصيرة، وسلوك موثق للحالة المتدهورة.
الثانية هي أن تأليف السياسة مشكلة مخطط. المخطط الغامض ينتج أحد نمطي الفشل: قواعد واسعة جدًا تختم كل شيء، أو قواعد ضيقة جدًا تحظر العمل المشروع وتجعل الفريق يتجاوزها. العمل هو في الحصول على طلب القرار الصحيح — أي السمات متاحة في وقت الاستدعاء، وأيها مستقرة، وأيها يمكن للمهاجم التأثير عليها. محرك سياسة يُغذى بسياق غير نمذج سيتخذ قرارات واثقة بشأن الأشياء الخاطئة.
الثالثة هي القياس. عدد القواعد ليس مقياس أمان؛ مجموعة قواعد كبيرة يمكن أن تكون خاملة تمامًا. النتيجة التي تستحق التتبع هي نسبة الإجراءات المعترضة إلى المسموح بها على الأدوات ذات العواقب، مقسمة حسب الأداة والمدير. نسبة قريبة من الصفر على أداة تكتب إلى الإنتاج هي إشارة إلى أن السياسة زخرفية. نسبة تتحرك بشكل حاد بعد تغيير هي إشارة تستحق التحقيق. لا الرقم يضمن، لكن كلاهما يصف ما إذا كان الضابط فعلاً في المسار.
الملخص الصادق هو أن حوكمة وقت التشغيل تنقل الثقة من امتثال النموذج إلى بنية المشغل التحتية. هذا شيء أصعب في البناء وأسهل بكثير في التدقيق. بالنظر إلى أن أنظمة الوكلاء تُمنح بيانات اعتماد ووصولاً إلى الشبكة، فإن التدقيق هو الجزء المهم.