XACML/ABAC policies
Installed the tool;
Loaded test case;
Created verification test cases;
Teller got an incorrect privilege granted;
Loan officer had correct privileges granted, everything denied;
Manager had correct privileges granted, everything permitted;
Rule 28 incorrectly permits an action;
Changed to deny!;
Bank teller no longer has incorrect permission;