Handout der Seminararbeit in Datenbanken Formalisierung von Zugriffsrechten von Frank Kramer Betreuerin Peggy Schmidt

Transkript

1 Handout der Seminararbeit in Datenbanken Formalisierung von Zugriffsrechten von Frank Kramer Betreuerin Peggy Schmidt Anforderungen an heutige Informationssysteme sind das verwalten flexibler Rechte-, Zugangs und Steuerungsmechanismen. In diesen Vortrag wird ein theoretischer Zugang (UCON-Modell) vorgestellt, welcher die Einschränkungen traditioneller Zugriffsverfahren zu lösen versucht. UCON versucht dabei der Zugriffsautorisation und der dynamischen Rechtevergabe gerecht zu werde. Das Modell wird dabei durch die TLA eingeführt, dessen Grundzüge in einem kleinen Exkurs erläutert werden, um später dann damit die Modellierung druchführen zu können. Da beim UCON Modell vor allem die drei Kernmodelle der authorisation, obligation und condition im Vordergrund stehen, wird der Vortrag diese genauer erläutern und dabei auch einige kleine Beispiel für die Anwendung geben. Aus diesen Kernmodellen lässt sich dann ein allgemeines Modell erstellen, welches Komplett und Vollständig ist, was ich dann auch beweisen werden. Literatur: 1. XinWen Zhang, Francesco Parisi-Presicce,Ravi Sandhu and JaeHong Park: Formal Model and Policy Specification of Usage Control 2. Horst Walther: Warum ist Provisioning für Ihr Unternehmen wichtig? 3. Richard Gieron: Musterbasiertes Security Engineering 4. Tobias Tebner, Ronny Gerlach: IT-Policy 5. Sandra von Cube: Überprüfung von UML/OCL-Spezifikationen mit Prädikatenlogikbeweisen: eine Fallstudie 6. Armin M. Warda: Temporale Logik: Eine Einführung