A SELinux configuration language that extends CIL with information flow requirements. It includes a formalized semantics and verifier for the information flow annotations that is based on the LTL model checker NuSMV.
SELinux IFCIL: A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier / Ceragioli, Lorenzo. - (2024).
SELinux IFCIL: A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier
Lorenzo Ceragioli
2024
Abstract
A SELinux configuration language that extends CIL with information flow requirements. It includes a formalized semantics and verifier for the information flow annotations that is based on the LTL model checker NuSMV.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.
