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): Моделирование и верификация политик безопасности управления доступом в операционных системах.
-
Notifications
You must be signed in to change notification settings - Fork 1
First level of the Event-B specification of the HIMACF model (with role-based access control)
License
17451k/base-model
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
First level of the Event-B specification of the HIMACF model (with role-based access control)
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published