| * | 2009 |
|---|
| 3 | EE | Scott D. Stoller,
Ping Yang,
Mikhail I. Gofman,
C. R. Ramakrishnan:
Symbolic reachability analysis for parameterized administrative role based access control.
SACMAT 2009: 165-174 |
| 2 | EE | Mikhail I. Gofman,
Ruiqi Luo,
Ayla C. Solomon,
Yingbin Zhang,
Ping Yang,
Scott D. Stoller:
RBAC-PAT: A Policy Analysis Tool for Role Based Access Control.
TACAS 2009: 46-49 |
| 2007 |
|---|
| 1 | EE | Scott D. Stoller,
Ping Yang,
C. R. Ramakrishnan,
Mikhail I. Gofman:
Efficient policy analysis for administrative role based access control.
ACM Conference on Computer and Communications Security 2007: 445-455 |
