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.