| 2008 |
|---|
| 9 | 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) |
| 2006 |
|---|
| 8 | EE | Andreas Schaad,
Volkmar Lotz,
Karsten Sohr:
A model-checking approach to analysing organisational controls in a loan origination process.
SACMAT 2006: 139-149 |
| 2005 |
|---|
| 7 | EE | Karsten Sohr,
Gail-Joon Ahn,
Martin Gogolla,
Lars Migge:
Specification and Validation of Authorisation Constraints Using UML and OCL.
ESORICS 2005: 64-79 |
| 6 | EE | Karsten Sohr,
Michael Drouineaud,
Gail-Joon Ahn:
Formal specification of role-based security policies for clinical information systems.
SAC 2005: 332-339 |
| 5 | EE | Karsten Sohr,
Gail-Joon Ahn,
Lars Migge:
Articulating and enforcing authorisation policies with UML and OCL.
ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) |
| 2004 |
|---|
| 4 | 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 |
|---|
| 3 | 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 |
| 2001 |
|---|
| 2 | EE | Steffen Deter,
Karsten Sohr:
Pini - A Jini-Like Plug&Play Technology for the KVM/CLDC.
IICS 2001: 53-66 |
| 1999 |
|---|
| 1 | | Karsten Sohr:
Nicht verifizierter Code: Eine neue Sicherheitslücke in Java.
Java-Informations-Tage 1999: 171-181 |
