 | 2008 |
| 5 |  | Tanveer Mustafa,
Karsten Sohr,
Duc-Hanh Dang,
Michael Drouineaud,
Stefan Kowski:
Implementing Advanced RBAC Administration Functionality with USE.
ECEASST 15: (2008) |
| 4 |  | 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 |  | Karsten Sohr,
Michael Drouineaud,
Gail-Joon Ahn:
Formal specification of role-based security policies for clinical information systems.
SAC 2005: 332-339 |
| 2004 |
| 2 |  | 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 |  | Till Mossakowski,
Michael Drouineaud,
Karsten Sohr:
A temporal-logic extension of role-based access control covering dynamic separation of duties.
TIME 2003: 83-90 |