استخدام السجلات كأدلة أمنية محدودة

events = [{"id":"e1","layer":"dac"}, {"id":"e2","layer":"mandatory"}, {"id":"e3","layer":"unknown"}]
groups = {layer:[e["id"] for e in events if e["layer"] == layer] for layer in ("dac", "mandatory", "unknown")}
assert groups["dac"] == ["e1"]
assert groups["mandatory"] == ["e2"]
assert groups["unknown"] == ["e3"]
print("known denial layers and uncertainty remain separate")

known denial layers and uncertainty remain separate

ينظم البرنامج الكامل ثلاثة قواميس مختلقة ولا يقرأ journal أو تدقيقا أو يفحص مصدر منع حقيقي. الفئات بيانات تمرين لا رسائل Linux دقيقة.

event = {"operation":"write-summary", "result":"denied", "case":"lab-3", "credentialMarker":"PUBLIC-INERT-MARKER"}
allowed = {"operation", "result", "case"}
diagnostic = {k:v for k,v in event.items() if k in allowed}
assert set(diagnostic) == allowed
assert "credentialMarker" not in diagnostic
assert "PUBLIC-INERT-MARKER" not in str(diagnostic)
print("diagnostic projection excludes the inert marker")

diagnostic projection excludes the inert marker

يستخدم البرنامج الكامل سلاسل عامة مختلقة ولا يكتب سجلا أو يقرأ أو يرسل اعتمادا. يثبت اختيار الحقول فقط، وتبقى التغطية والخصوصية والتخزين غير متحققة.