Cascade - A New High Level SELinux Policy Language - Daniel Burgener, Microsoft

SELint - An SELinux Policy Static Analysis Tool - Daniel Burgener, MicrosoftПодробнее

Generate selinux policy from audit2allowПодробнее

How to write SELinux policy in 2020Подробнее