Specifying and Reasoning About Dynamic Access-Control Policies.

Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi

Browse the full CADE paper archive.