Andreas Schaad, Karsten Sohr, Michael Drouineaud
Abstract: Demonstrating the safety of a system (ie. avoiding the undesired propagation of access rights or indirect access through some other granted resource) is one of the goals of access control...
Considering the current expansion of IT-infrastructure the security of the data inside this infrastructure becomes increasingly important. Therefore assuring certain security properties of IT-systems...
Implementing Advanced RBAC Administration Functionality with USE * (2009)
Tanveer Mustafa, Karsten Sohr, Duc-hanh Dang, Michael Drouineaud, Stefan Kowski, Jordi Cabot, ...
8 th International Workshop on
A Role based Access Control Model for Agent based Control Systems (2009)
Michael Drouineaud, Arndt Lüder, Karsten Sohr
Abstract — The spreading of Ethernet TCP/IP protocol suite based communication in automation systems has raised new questions concerning data consistency and security. This paper introduces...
Michael Drouineaud, Karsten Sohr
ORKA is funded by the German Ministry of Education and Research (BMBF) as part of its Software Engineering 2006 programme. c ○ 2006 ORKA Consortium Internal document information: $Id:...
Analyzing and Managing Role-Based Access Control Policies (2008)
Karsten Sohr, Michael Drouineaud, Gail-joon Ahn, Martin Gogolla
Today more and more security-relevant data is stored on computer systems; security-critical business processes are mapped to their digital counterparts. This situation applies to various domains such...
covering dynamic separation (2007)
Till Mossakowski, Michael Drouineaud, Karsten Sohr
A temporal-logic extension