medrina

JVM	Platform	Status
OpenJDK (Temurin) Current	Linux
OpenJDK (Temurin) LTS	Linux
OpenJDK (Temurin) Current	Windows
OpenJDK (Temurin) LTS	Windows

medrina

The medrina package implements a generic system for implementing role/attribute mandatory access control systems.

Features

• Role-based access control for security policies.
• Formal specification with proofs of correctness.
• High coverage test suite.
• OSGi-ready.
• JPMS-ready.
• ISC license.

Usage

See the documentation.