#

himacf

Here is 1 public repository matching this topic...

eventb-rossi / rbac-model

Public part of the Event-B specification of the HIMACF model (formerly MROSL DP-model) — role-based access control for OS security

security rbac formal-methods role-based-access-control prob access-control formal-verification formal-specification rodin event-b eventb astra-linux himacf

Updated Jun 7, 2026

Improve this page

Add a description, image, and links to the himacf topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the himacf topic, visit your repo's landing page and select "manage topics."