A Light-Weight Formal Approach for Modeling, Verifying and Integrating Role-Based Access Control Requirements.

Saad Zafar

Browse the full APSEC paper archive.