Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin: IFCIL: An Information Flow Configuration Language for SELinux. CSF 2022: 243-259