 | 2008 |
| 12 |  | Karsten Sohr,
Tanveer Mustafa,
Xinyu Bao,
Gail-Joon Ahn:
Enforcing Role-Based Access Control Policies in Web Services with UML and OCL.
ACSAC 2008: 257-266 |
| 11 |  | Steffen Bartsch,
Karsten Sohr,
Carsten Bormann:
Supporting Agile Development of Authorization Rules for SME Applications.
CollaborateCom 2008: 461-471 |
| 10 |  | Tanveer Mustafa,
Karsten Sohr,
Duc-Hanh Dang,
Michael Drouineaud,
Stefan Kowski:
Implementing Advanced RBAC Administration Functionality with USE.
ECEASST 15: (2008) |
| 9 |  | 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 |  | 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 |  | Karsten Sohr,
Gail-Joon Ahn,
Martin Gogolla,
Lars Migge:
Specification and Validation of Authorisation Constraints Using UML and OCL.
ESORICS 2005: 64-79 |
| 6 |  | Karsten Sohr,
Michael Drouineaud,
Gail-Joon Ahn:
Formal specification of role-based security policies for clinical information systems.
SAC 2005: 332-339 |
| 5 |  | 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 |  | 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 |  | 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 |  | 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 |