| 2008 |
|---|
| 4 | EE | Karsten Sohr,
Michael Drouineaud,
Gail-Joon Ahn,
Martin Gogolla:
Analyzing and Managing Role-Based Access Control Policies.
IEEE Trans. Knowl. Data Eng. 20(7): 924-939 (2008) |
| 2005 |
|---|
| 3 | EE | Karsten Sohr,
Michael Drouineaud,
Gail-Joon Ahn:
Formal specification of role-based security policies for clinical information systems.
SAC 2005: 332-339 |
| 2004 |
|---|
| 2 | EE | Michael Drouineaud,
Maksym Bortin,
Paolo Torrini,
Karsten Sohr:
A First Step Towards Formal Verification of Security Policy Properties for RBAC.
QSIC 2004: 60-67 |
| 2003 |
|---|
| 1 | EE | Till Mossakowski,
Michael Drouineaud,
Karsten Sohr:
A temporal-logic extension of role-based access control covering dynamic separation of duties.
TIME 2003: 83-90 |
