main/medrina
main/medrina
Watch
2
0
Fork
You've already forked medrina
 0
Code Releases Activity
Role/Attribute mandatory access control
340 commits 5 branches 8 tags 1.2 MiB
  • Java 74.4%
  • Rocq Prover 24.9%
  • Shell 0.4%
  • Smalltalk 0.3%
Find a file
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Mark Raynsford 01816959e4
Some checks are pending
main-RHEL10-x86_64-jdk25 / Build (push) Waiting to run
Details
main-RHEL9-x86_64-jdk26 / Build (push) Waiting to run
Details
main-RHEL10-x86_64-jdk26 / Build (push) Waiting to run
Details
main-RHEL9-x86_64-jdk25 / Build (push) Waiting to run
Details
Update workflows.
2026-07-31 18:42:58 +01:00
.forgejo Update workflows. 2026-07-31 18:42:58 +01:00
com.io7m.medrina.api Reformat sources. Introduce doc7m. Update workflows. Attach EPUB to documentation. 2026-07-12 17:51:21 +01:00
com.io7m.medrina.bom Begin next development iteration. 2026-05-09 14:27:52 +01:00
com.io7m.medrina.cmdline Reformat sources. Introduce doc7m. Update workflows. Attach EPUB to documentation. 2026-07-12 17:51:21 +01:00
com.io7m.medrina.documentation Adjust brand. 2026-07-12 21:03:24 +01:00
com.io7m.medrina.parser.api Reformat sources. Introduce doc7m. Update workflows. Attach EPUB to documentation. 2026-07-12 17:51:21 +01:00
com.io7m.medrina.tests Reformat sources. Introduce doc7m. Update workflows. Attach EPUB to documentation. 2026-07-12 17:51:21 +01:00
com.io7m.medrina.vanilla Reformat sources. Introduce doc7m. Update workflows. Attach EPUB to documentation. 2026-07-12 17:51:21 +01:00
src/site/resources Update site metadata. 2025-08-09 15:07:11 +00:00
.gitignore Update .gitignore. 2024-05-07 16:01:46 +00:00
.gitmodules Move to new organization. 2024-05-01 19:55:57 +00:00
checkstyle-filter.xml Rules now have names and descriptions. 2023-06-19 21:40:01 +00:00
checkstyle-suppressions-1.0.dtd Rules now have names and descriptions. 2023-06-19 21:40:01 +00:00
doc7m-books.json Reformat sources. Introduce doc7m. Update workflows. Attach EPUB to documentation. 2026-07-12 17:51:21 +01:00
pom.xml Migrate project. 2026-06-27 10:12:26 +01:00
README-CHANGES.xml Mark release 1.1.0 2026-05-09 14:27:32 +01:00
README-LICENSE.txt Update LICENSE 2023-08-13 21:07:29 +00:00
README.in Migrate project. 2026-06-27 10:12:26 +01:00
README.md Migrate project. 2026-06-27 10:12:26 +01:00

README.md

medrina

Maven Central Maven Central (snapshot) Java Version

com.io7m.medrina

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.