| |
| 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 |
| 1 | Gail-Joon Ahn | [3] |
| 2 | Maksym Bortin | [2] |
| 3 | Till Mossakowski | [1] |
| 4 | Karsten Sohr | [1] [2] [3] |
| 5 | Paolo Torrini | [2] |