A Verifiable Modeling Approach to Configurable Role-Based Access Control.

Dae-Kyoo Kim, Lunjin Lu, Sangsig Kim

Browse the full FASE paper archive.