SecProver

SecProver is a tool which implements a methodology to reasoning about fine-grained access control policies (FGAC). This methodology uses SecureUML to specify FGAC policies, a modeling language that extends role-based access control (RBAC) with authorization constraints. The constraints are formalized using the Object Constraint Language (OCL).

The tool secProver is available online. See here.