---

Inhaltlich unveränderte Neuauflage. Rollenbasierte Zugangskontrollmechanismen sind die Zukunft der automa tisierten Rechtevergabe in großen Unternehmen. Anhand unterschiedlicher Rollen im Unternehmen werden resultierende Zugangsberechtigungen für z.B. Räume, Server oder einzelne Dateien modelliert. Verändern sich die Aufgabenfelder einer solchen Rolle oder benötigt sie im Rahmen interdsiziplinärer Teamarbeit erweiterte Rechte, werden diese Modelle sehr komplex und könnten zu Widersprüchen und undefinierten Berechtigungen führen. Wie kann man das vermeiden? Dieses Buch zeigt die Entwicklung eines Tools zur rechnergestützten Analyse solcher Modelle. Einleitend wird auf die theoretischen Grundlagen eingegangen, wie die formallogischen Regeln als eine Klasse von modularen High-Level-Petri-Netzen, den so genannten Adminnetzen, darstellbar sind. Darauf aufbauend wird ein Algorithmus zur Analyse dieser Adminnetze eingeführt. Im weiteren stehen dann die Implementierung dieses Algorithmus, diverse Optimierungen und ein XML-Datenformat auf Basis der Petri-Net-Markup-Language im Fokus. Dieses Buch richtet sich an alle, die sich für Zugangskontrolle, Petri-Netze, Erreichbarkeitsanalyse und XML-Netzdarstellung interessieren.

---

Dipl.-Inform.:Studium der Kerninformatik an der Universität Dortmund mit Schwerpunkten in Netzwerktechnologien und Rechnerarchitektur. UNIX Systemadministrator bei der Firma arvato systems - Bertelsmann.

---