A twofold model for the analysis of access control policies in industrial networked systems
A model to describe access control policies in industrial networked systems. The model allows the high level description of access control policies in RBAC. The model allows the detailed description of the real system low level mechanisms. The model allows automated analysis of the correctness of policy implementation.
access control industrial networked systems rbac security modeling of distributed systems