A lightweight approach to specification and analysis of role-based access control extensions.

Andreas Schaad, Jonathan D. Moffett

Browse the full SACMAT paper archive.