مراجعة تصميم عامل Linux بأقل الصلاحيات

allowed = {("public-schedule-w4", "read"), ("summary-w4", "write")}
def permits(resource, action):
    return (resource, action) in allowed

assert permits("public-schedule-w4", "read") is True
assert permits("summary-w4", "write") is True
assert permits("attendee-contacts-w4", "read") is False
assert permits("arbitrary-output", "write") is False
print("four resource-action cases preserve the declared worker scope")

four resource-action cases preserve the declared worker scope

يقارن البرنامج الكامل سلاسل دون قراءة مورد أو كتابته ولا ينفذ طبقة نظام فعلية. يثبت نجاحه علاقة التطبيق المعلنة فقط.

required = {"application-scope", "dac-acl", "service-view", "mandatory-policy", "artifact-trust"}
verified = {"application-scope"}
pending = sorted(required - verified)
assert pending == ["artifact-trust", "dac-acl", "mandatory-policy", "service-view"]
assert not required <= verified
print("local application scope leaves four platform boundaries pending")

local application scope leaves four platform boundaries pending

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