A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier
-
Updated
Jun 5, 2024 - OCaml
A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier
Expediting verification of assertions in loops by isolation
Add a description, image, and links to the cil topic page so that developers can more easily learn about it.
To associate your repository with the cil topic, visit your repo's landing page and select "manage topics."