Summary

SELinux has quite a few analysis tools that we can use to analyze policies. We've seen how to use sesearch to do in-depth assessments of the current policy, but noticed that it fails to validate the more dynamic analysis requirements.

With apol, we have seen a graphical application that is able to do more dynamic analysis, including the domain transitions (examining which domains can be reached from a current point) and information flow analysis (investigating how information can flow from one domain to another). From this experience, we've learned that such analysis is intensive and requires lots of interpretation to be done correctly.

Next to apol, we also learned that command-line utilities exist with similar capabilities: sedta for domain transition analysis, seinfoflow for information flow analysis, and sepolicy, which has a few out-of-the-box functionalities, but not as extensive or flexible as the other options we looked at.

In the end, we learned...