Example of how human-verifiable security policies can be written in IriusTest - View it on GitHub