Formal Reasoning about Fine-Grained Access Control Policies.

Miguel Angel Garca de Dios, Carolina Dania, Manuel Clavel

Browse the full APCCM paper archive.