This is a publicly available part of the Event-B specification of the Hierarchical Integrated Model of Access Control and Information Flows (the HIMACF model, previously known as the MROSL DP-model). This part contains specification of the role-based access control and is described in the following book (in Russian): Моделирование и верификация политик безопасности управления доступом в операционных системах.
17451k / base-model Goto Github PK
View Code? Open in Web Editor NEWFirst level of the Event-B specification of the HIMACF model (with role-based access control)
License: Apache License 2.0