2010 | OriginalPaper | Buchkapitel
Modeling and Verification of RBAC Security Policies Using Colored Petri Nets and CPN-Tool
verfasst von : Laid Kahloul, Karim Djouani, Walid Tfaili, Allaoua Chaoui, Yacine Amirat
Erschienen in: Networked Digital Technologies
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Role Based Access Control (RBAC) is more and more applied to design and implement security policies in large networking systems. Although the elegance of this model, the design process of a security policy remains a challenge. The consistence and the correctness of the policy are crucial. Formal verification is one of the techniques, which can be used to prove that the designed policy is consistent. In this paper, we present a concrete formal modeling/analysis approach for RBAC policies. The modeling phase uses Colored Petri Nets (CPN) and the generated models will be analyzed using the CPN-tool. This analysis will wallow to prove many important proprieties about the RBAC security policy.