Policy Description Language for Authorization using Logic-Based Programming
Dieses Papier schlägt eine auf Datalog basierende Richtlinienbeschreibungssprache vor, die durch die Einbeziehung dynamischer Anwendungsprozesszustände eine feingranulare Zugriffskontrolle ermöglicht, und demonstriert deren Wirksamkeit durch die erfolgreiche Komposition und Evaluierung von SELinux-Richtlinien innerhalb einer Defense-in-Depth-Strategie.
Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen
Stellen Sie sich vor, Sie wären der Sicherheitschef einer riesigen, hochtechnologischen Burg. Ihr Ziel ist es, die wertvollsten Schätze im Inneren zu schützen. In der Vergangenheit standen Sicherheitswachen (die „Policies“) an jeder einzelnen Tür und prüften eine lange, handgeschriebene Liste von Regeln für jede Person, die eintreten wollte.
Das Problem: Das „Papierwand“-Problem
Die Autoren dieser Arbeit argumentieren, dass moderne Computersysteme wie Burgen sind, die so groß und komplex geworden sind, dass es unmöglich ist, für jede einzelne Tür und jede einzelne Person eine eigene Regel zu schreiben.
- Der alte Weg (wie SELinux): Stellen Sie sich einen Sicherheitswachmann vor, der einen Stapel von 40.000 einzelnen Indexkarten hält. Jede Karte sagt: „Person A darf Tür B mit Schlüssel C öffnen.“ Wenn Sie die Regeln für eine ganze Gruppe von Menschen ändern wollen, müssen Sie tausende von Karten neu schreiben. Das ist unordentlich, schwer lesbar und es passieren leicht Fehler.
- Das Ziel: Die Autoren wollen aufhören, 40.000 separate Karten zu schreiben, und stattdessen ein einziges, intelligentes „Instruktionshandbuch“ erstellen, das alle sie umfasst.
Die Lösung: Ein „Smartes Rezeptbuch“ (Logikbasierte Programmierung)
Die Autoren schlagen eine neue Sprache vor, die wie ein smartes Rezeptbuch oder ein Computerprogramm für Sicherheitsregeln funktioniert. Anstatt jede einzelne Berechtigung aufzulisten, schreiben Sie „Rezepte“ (Logikprogramme), die erklären, wie Berechtigungen funktionieren.
So funktioniert ihr „Rezeptbuch“ unter Verwendung einfacher Analogien:
Gruppierung (Die „Uniform“-Analogie):
Anstatt zu sagen: „Bob darf den Tresor öffnen“, „Alice darf den Tresor öffnen“ und „Charlie darf den Tresor öffnen“, schreiben Sie eine einzige Regel: „Jeder, der eine Manager-Uniform trägt, darf den Tresor öffnen.“
In der Arbeit wird dies als hierarchische Vererbung bezeichnet. Wenn Sie Bob eine „Manager-Uniform“ anlegen, erhält er automatisch alle Regeln für Manager. Sie müssen keine neue Regel für ihn schreiben; das System weiß, dass er zu dieser Gruppe gehört.Subroutinen (Die „Fließband“-Analogie):
Stellen Sie sich eine Fabrik vor, in der ein Produkt drei Schritte durchläuft: Vorbereitung, Kochen und Verpacken. Anstatt für jeden Arbeiter an jeder Station eine neue Regel zu schreiben, schreiben Sie eine Regel für die „Vorbereitungsstation“ und eine für die „Kochstation“.
Die Autoren nennen dies Subroutinisierung. Sie können einen „Schritt“ in einem Prozess (wie einer Transaktion) definieren und sagen: „Sobald der Schritt ‚Vorbereitung‘ abgeschlossen ist, geht der Arbeiter automatisch zum Schritt ‚Kochen‘ über.“ Dies ermöglicht es Ihnen, komplexe, mehrstufige Sicherheitsprozesse mit nur wenigen Zeilen Text anstatt mit Tausenden zu beschreiben.Dynamischer Status (Die „Ampel“-Analogie):
Manchmal hängt eine Regel davon ab, was gerade jetzt passiert. Zum Beispiel: „Sie dürfen die Küche nur betreten, wenn der ‚Feueralarm‘ aus ist.“
Die neue Sprache kann solche wechselnden Bedingungen verarbeiten. Sie kann sagen: „Wenn das System aktuell ‚kontaminiert‘ ist (wie eine rote Ampel), darf niemand eintreten.“ Dies ermöglicht es der Sicherheit, auf den aktuellen Zustand des Computers zu reagieren und nicht nur auf statische Listen.
Das Experiment: Testen des neuen Systems
Die Autoren haben nicht nur das Rezeptbuch geschrieben; sie haben es gegen die Realität getestet.
- Der Test: Sie haben die massive Sicherheitsrichtlinie von SELinux (einem echten, weit verbreiteten Sicherheitssystem für Linux) in ihre neue „Rezeptbuch“-Sprache übersetzt.
- Das Ergebnis (Genauigkeit): Sie stellten beiden Systemen dieselben 15 Millionen Fragen (z. B. „Kann Nutzer X Aktion Y ausführen?“). Die Antworten stimmten in 99 % der Fälle überein. Dies beweist, dass die neue Sprache genauso genau ist wie das alte, komplexe System.
- Das Ergebnis (Effizienz): Hier geschah die Magie. Die ursprüngliche SELinux-Policy bestand aus 6.524 Zeilen Code (und 133 Seiten Papier). Die neue Sprache beschrieb exakt dieselben Sicherheitsregeln in nur 335 Zeilen (95 Seiten). Sie schrumpften die Policy um etwa 95 %.
Warum das wichtig ist
Die Autoren kommen zu dem Schluss, dass der alte Weg (das Schreiben jeder Regel einzeln) zwar leicht zu verstehen ist, wenn man sich nur eine einzige Regel ansieht, aber beim Blick auf das Gesamtsystem zu einem Albtraum wird.
Die neue Sprache ist wie der Wechsel vom Schreiben eines Wörterbuchs mit 40.000 einzelnen Wörtern zum Schreiben eines Grammatikbuchs.
- Vorteile: Es macht das gesamte System viel kleiner, einfacher zu verwalten und ermöglicht es, das „große Ganze“ zu sehen. Es erlaubt der Sicherheit, flexibler und anpassungsfähiger zu sein.
- Nachteile: Wenn man sich nur eine einzige Regel im neuen System ansieht, könnte sie etwas abstrakter wirken (wie eine mathematische Formel) als ein einfacher Satz. Aber für die Verwaltung eines massiven, komplexen Systems ist der „Grammatikbuch“-Ansatz weita 훨씬 überlegen.
Kurz gesagt: Die Autoren haben ein Werkzeug geschaffen, mit dem Sicherheitsexperten komplexe, vielschichtige Verteidigungen unter Verwendung smarter, wiederverwendbarer Logik anstatt in einer Flut von repetitiven, individuellen Regeln zu versinken, beschreiben können.
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.