Systems and methods are provided that comprise a security policy verification system for verifying security policies. The system parses programming language code that implements security policies, and identifies annotations in the programming language code. The system then matches the annotations to the security policies to which the annotations correspond. The system then displays a natural language description of the security policy in a user interface.