An executable semantics for SELinux CIL configuration language, written in Ocaml. It includes a test framework for assessing the consistency with respect to the behaviour of the official CIL compiler.
SELinux CIL Semantics: An executable semantics for SELinux CIL configuration language / Ceragioli, Lorenzo. - (2024).
SELinux CIL Semantics: An executable semantics for SELinux CIL configuration language
Lorenzo Ceragioli
2024
Abstract
An executable semantics for SELinux CIL configuration language, written in Ocaml. It includes a test framework for assessing the consistency with respect to the behaviour of the official CIL compiler.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
