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
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|