dblp.uni-trier.dewww.uni-trier.de

Karsten Sohr

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
9EEKarsten 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
8EEAndreas Schaad, Volkmar Lotz, Karsten Sohr: A model-checking approach to analysing organisational controls in a loan origination process. SACMAT 2006: 139-149
2005
7EEKarsten Sohr, Gail-Joon Ahn, Martin Gogolla, Lars Migge: Specification and Validation of Authorisation Constraints Using UML and OCL. ESORICS 2005: 64-79
6EEKarsten Sohr, Michael Drouineaud, Gail-Joon Ahn: Formal specification of role-based security policies for clinical information systems. SAC 2005: 332-339
5EEKarsten 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
4EEMichael Drouineaud, Maksym Bortin, Paolo Torrini, Karsten Sohr: A First Step Towards Formal Verification of Security Policy Properties for RBAC. QSIC 2004: 60-67
2003
3EETill Mossakowski, Michael Drouineaud, Karsten Sohr: A temporal-logic extension of role-based access control covering dynamic separation of duties. TIME 2003: 83-90
2001
2EESteffen 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

Coauthor Index

1Gail-Joon Ahn [5] [6] [7] [9]
2Maksym Bortin [4]
3Steffen Deter [2]
4Michael Drouineaud [3] [4] [6] [9]
5Martin Gogolla [7] [9]
6Volkmar Lotz [8]
7Lars Migge [5] [7]
8Till Mossakowski [3]
9Andreas Schaad [8]
10Paolo Torrini [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)