Verified Permissions validates against the permissions model the policies that you create and rejects any policies that are not valid. For example, if actions described in the policy are not valid for the type of resource, your application is prevented from creating the policy. Verified Permissions helps you verify the completeness and correctness of your policies. The service also helps you identify policies that directly contradict each other, resources that no user is ever permitted to access, or users with overly privileged access. The service uses a form of mathematical analysis called automated reasoning that can analyze millions of policies across multiple applications.