 | 2009 |
|---|
| 4 |       | 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 |
| 3 |  | Mikhail I. Gofman,
Ruiqi Luo,
Jian He,
Yingbin Zhang,
Ping Yang:
Incremental Information Flow Analysis of Role Based Access Control.
Security and Management 2009: 397-403 |
| 2 | | 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 | | 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 |
