Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / lceragioli / SELinuxIFCIL
A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lceragioli%2FSELinuxIFCIL
Stars: 0
Forks: 0
Open Issues: 0
License: None
Language: OCaml
Repo Size: 4.72 MB
Dependencies:
0
Created: over 2 years ago
Updated: 20 days ago
Last pushed: 20 days ago
Last synced: 20 days ago
Topics: cil, information-flow, information-flow-control, policy, selinux, selinux-policy, verification
Files
No dependencies found