Renaming or Tightness: Enforcing Disjunctive Information Flow Policies
تقدم هذه الورقة عائلة من أنظمة الأنواع الحساسة للتدفق القائمة على "الكمية" (quantale) للمعلومات لفرض سياسات تدفق معلومات انفصالية، مبرهنةً أنه في حين تفشل النهج القياسية القائمة على الشبكة الجزئية (lattice) في التصديق بدقة على مثل هذه السياسات، فإن آلية منقحة تؤجل التخصيص إلى مستوى الحكم تنجح في استعادة السلامة والدقة عبر تجنب فقدان انفصال الفروع.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
حراس الأسرار وفخ الازدواجية في العد
تخين أنك حارس أمن رقمي لوكالة تجسس عالية المخاطر. مهمتك هي التأكد من أن المعلومات السرية لا تتسرب إلى الأشخاص الخطأ. في عالم علوم الحاسوب، يسمى هذا "التحكم في تدفق المعلومات". لعقود من الزمن، استخدم خبراء الأمن أداة تسمى "الشبكية" (lattice) لإدارة هذه الأسرار. فكر في الشبكية كأنها خزانة ملفات صارمة ذات أدراج مصنفة؛ إذا وضعت سراً في درج "سري للغاية"، فأنت تعرف بالضبط مدى خطورته. وإذا دمجت سرين معاً، فإن النظام يضعهما ببساطة في درج "سري للغاية جداً". إنه نظام بسيط، قابل للتنبؤ، ويعمل بشكل رائع في معظم الحالات.
لكن الحياة الواقعية فوضوية. أحياناً، لا تتعلق القاعدة بـ "مقدار" السر الذي تملكه، بل بـ "أي" سر تملكه. تخيل قاعدة تقول: "يمكنك الاطلاع على ملف العميل (أ) أو ملف العميل (ب)، ولكن ليس كليهما أبداً". تُسمى هذه "السياسة التخييرية" (disjunctive policy). إنها تشبه كتاب "اختر مغامرتك الخاصة"، حيث يمكنك اختيار المسار (أ) أو المسار (ب)، لكن القصة تنهار إذا حاولت قراءة الصفحتين معاً. تواجه أدوات الأمن التقليدية صعوبة هنا لأنها تعامل حالة "أ أو ب" كمجرد كومة أكبر من الأسرار، مما يفقدها التفصيل الجوهري بأنك اخترت مساراً واحداً فقط. تغوص هذه الورقة البحثية في هذا الركن المربك والمحير من الأمن، وتسأل: هل يمكننا بناء نظام أكثر ذكاءً يفهم قواعد "إما/أو" هذه دون أن يتسبب في انهيار النظام بأكلى؟
الانقسام الكبير: أداة واحدة، إجابتان
قرر الباحثون في هذه الورقة، شين شو، وسيرو تاو، وكايزن تان من جامعة كارنيجي ميلون، بناء نوع جديد من الأنظمة الأمنية للتعامل مع قواعد "إما/أو" هذه. بدأوا بهيكل رياضي متطور يسمى "الكمال" (quantale)، وهو يشبه خزانة ملفات فائقة القدرة يمكنها التعامل مع حالات "أو" المعقدة هذه. أرادوا إنشاء "أداة عالمية" — مفتاح رئيسي واحد يمكنه تحليل أي برنامج وإخبارك ما إذا كان آمناً، بغض النظر عن القاعدة الأمنية المحددة التي تستخدمها.
وهنا تظهر حبكة القصة. عندما حاولوا بناء هذه الأداة العالمية، اكتشفوا أنها لم تعمل فحسب، بل انقسمت إلى اثنين.
تخيل أن لديك عدسة مكبرة سحرية يمكنها النظر إلى برنامج حاسوبي ورؤية الأسرار التي يستخدمها بالضبط. وجد الباحثون أن هذه العدسة تأتي بنسختين، وعليك اختيار أيهما ستستخدم:
- عدسة "العد" (كائن المجموعات المتعددة - Multiset Object): هذه النسخة رائعة في اتباع قواعد خزانة الملفات القديمة. يمكنها أخذ برنامج تم تحليله لقاعدة واحدة وترجمته فوراً ليعمل مع قاعدة مختلفة. إنها تشبه المترجم العالمي. ومع ذلك، لديها نقطة عمياء: فهي تنسى أن شيئين قد يكونان هما الشيء نفسه. إذا قرأ برنامج ملفاً سرياً مرتين، تفكر هذه العدسة: "أوه، هذان سران!" وتصاب بالذعر، حتى لو كان البرنامج قد قرأ نفس الملف مرتين في نفس التشغيل.
- العدسة "الدقيقة" (كائن المجموعات - Set Object): هذه النسخة حادة للغاية. فهي تتذكر أن قراءة ملف مرتين لا تزال مجرد اختيار واحد. هي تعلم أنك إذا قرأت ملف العميل (أ) مرتين، فأنت لم تتعلم شيئاً جديداً عن العميل (ب). إنها تعطي الإجابة الصحيحة والدقيقة. لكن، هي تفقد القدرة على أن تكون مترجماً عالمياً؛ فلا يمكنك بسهء تبديل قواعدها دون إعادة إجراء التحليل بالكامل.
مشكلة "الجدار الأخلاقي"
لتوضيح سبب أهمية ذلك، يستخدم المؤلفون قصة "الجدار الأخلاقي". تخيل شركة محاماة تمثل شركتين متنافستين. لدى الشركة قاعدة: يمكن للمحامي قراءة ملفات الشركة (أ) أو ملفات الشركة (ب)، ولكن ليس كليهما. إذا قرأ المحامي ملف الشركة (أ)، فهو في أمان. إذا قرأه مرة أخرى لكتابة تقرير، فإنه لا يزال في أمان — لم يتعلم شيئاً جديداً.
اختبر الباحثون عدستيهما على برنامج يقرأ ملفاً سرياً مرتين (مرة للترويسة ومرة للجدول).
- عدسة "العد" قالت: "خطر! هذا البرنامج قرأ سراً مرتين. بما أنها لا تستطيع التمييز ما إذا كان هذا هو نفس السر أم سران مختلفان، فهي تفترض الأسوأ: أن المحامي قد اطلع على ملفات كلتا الشركتين. لذا ترفض البرنامج."
- العدسة "الدقيقة" قالت: "آمن! هذا البرنامج قرء نفس السر مرتين. لا يزال مجرد اختيار واحد. إنها تقبل البرنامج."
تثبت الورقة أنه لا يمكنك الحصول على كليهما. لا يمكنك امتلاك أداة تكون "مترجماً عالمياً" (تعمل مع كل قاعدة دون إعادة فحص) و"دقيقة تماماً" (تعرف متى يكون القرأتان لنفس الشيء) في آن واحد. إذا أردت أن تكون الأداة قابلة لإعادة الاستخدام، فستكون صارمة للغاية وترفض البرامج الآمنة. وإذا أردت أن تكون دقيقة، فعليك التخلي عن قابلية إعادة الاستخدام.
الحل: انتظر حتى النهاية
إذاً، هل عدسة "العد" عديمة الفائدة؟ ليس تماماً. توضح الورقة أن الطريقة القديمة (استخدام الشبكية) هي في الواقع نسخة "أقل دقة" تفتقر إلى هيكل التفرع بالكامل. إنها تشبه النظر إلى خريطة حيث تندمج جميع الطرق في كتلة واحدة كبيرة؛ لا يمكنك معرفة ما إذا كنت اتجهت يساراً أم يميماً.
يقترح المؤلفون حلاً ذكياً: لا تترجم القواعد حتى النهاية.
بدلاً من محاولة إجبار البرنامج على التوافق مع كتاب قواعد محدد أثناء تحليله، قم بتحليل البرنامج باستخدام "العدسة الدقيقة" (كائن المجموعات - Set Object) أولاً. ستحصل على تقرير خام ومفصل عما فعله البرنامج. ثم، وفقط في ذلك الوقت، قم بتطبيق القاعدة الأمنية المحددة على ذلك التقرير.
هذا يشبه التقاط صورة لمسرح الجريمة أولاً، ثم تقرير أي القوانين تنطبق على الأدلة لاحقاً. من خلال الانتظار حتى النهاية لتطبيق القواعد، يمكن للنظام أن يكون دقيقاً وآمناً في آن واحد. اتضح أن نهج "الانتظار لرؤية النت" هذا هو أفضل طريقة ممكنة للقيام بذلك. لا يمكنك الحصول على إجابة أكثر دقة دون كسر النظام.
الخلاصة
تخلص الورقة إلى أنه بالنسبة لقواعد "إما/أو" الأمنية المعقدة هذه، فإن الطرق القديمة تعتبر فجة للغاية. سوف ترفض البرامج الآمنة لمجرد أنها قرأت سراً مرتين. الطريقة الجديدة تعالج ذلك من خلال إبقاء "الخيار" حياً حتى الفحص النهائي.
ومع ذلك، هناك عقبة. إذا حاولت بناء نظام يحاول أن يكون "مترجماً عالمياً" (يعمل مع أي قاعدة دون إعادة تحليل)، فسيصطدم بسقف صلب. بالنسبة لأنواع معينة من الأسرار (مثل الجدار الأخلاقي أو الأسرار المنقسمة)، في المرة الثانية التي تقرأ فيها مصدراً، سيفقد النظام كل ثقته ويقول: "لا يمكنني ضمان أي شيء". الطريقة الوحيدة للحصول على ضمان هي التوقف عن محاولة أن تكون مترجماً عالمياً والقيام بالفحص المحدد في النهاية بدلاً من ذلك.
باختصار: يمكنك امتلاك أداة مرنة وقابلة لإعادة الاستخدام، أو أداة دقيقة تماماً، ولكن لا يمكنك امتلاك كليهما في نفس الوقت. لقد وجد المؤلفون النقطة الدقيقة التي يحدث عندها هذا المقايضة، وأظهروا كيف يمكن الحصول على أدق إجابة ممكنة من خلال تغيير متى تطبق القواعد، وليس فقط كيف تطبقها.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.