Michael Drouineaud

Publication Activity (10 Years)

Years Active: 2003-2010
Publications (10 Years): 0

Publications

Tanveer Mustafa, Michael Drouineaud, Karsten Sohr
Towards formal specification and verification of a role-based authorization engine using JML. SESS@ICSE (2010)
Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn, Martin Gogolla
Analyzing and Managing Role-Based Access Control Policies. IEEE Trans. Knowl. Data Eng. 20 (7) (2008)
Tanveer Mustafa, Karsten Sohr, Duc-Hanh Dang, Michael Drouineaud, Stefan Kowski
Implementing Advanced RBAC Administration Functionality with USE. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 15 (2008)
Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn
Formal specification of role-based security policies for clinical information systems. SAC (2005)
Michael Drouineaud, Maksym Bortin, Paolo Torrini, Karsten Sohr
A First Step Towards Formal Verification of Security Policy Properties for RBAC. QSIC (2004)
Till Mossakowski, Michael Drouineaud, Karsten Sohr
A temporal-logic extension of role-based access control covering dynamic separation of duties. TIME (2003)