lceragioli/SELinuxIFCIL

A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier

语言：OCaml · GitHub 星标：3 · Fork：1

话题：cil · information-flow · information-flow-control · policy · selinux · selinux-policy · verification

在 GitHub 上查看原仓库