 | 2011 |
|---|
| 7 |       | Scott D. Stoller,
Ping Yang,
Mikhail I. Gofman,
C. R. Ramakrishnan:
Symbolic reachability analysis for parameterized administrative role-based access control.
Computers & Security 30(2-3): 148-164 (2011) |
| 2010 |
|---|
| 6 | | Mikhail I. Gofman,
Ruiqi Luo,
Ping Yang:
User-Role Reachability Analysis of Evolving Administrative Role Based Access Control.
ESORICS 2010: 455-471 |
| 5 | | Ping Yang,
Shiyong Lu,
Mikhail I. Gofman,
Zijiang Yang:
Information flow analysis of scientific workflows.
J. Comput. Syst. Sci. 76(6): 390-402 (2010) |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page