Verification of agent knowledge in dynamic access control policies

Re-assign community