| JVM | Platform | Status |
|---|---|---|
| OpenJDK (Temurin) Current | Linux |  |
| OpenJDK (Temurin) LTS | Linux |  |
| OpenJDK (Temurin) Current | Windows |  |
| OpenJDK (Temurin) LTS | Windows |  |
The medrina package implements a generic system for implementing role/attribute
mandatory access control systems.
- Role-based access control for security policies.
- Formal specification with proofs of correctness.
- High coverage test suite.
- OSGi-ready.
- JPMS-ready.
- ISC license.
See the documentation.