Michael Drouineaud

According to our database, Michael Drouineaud authored at least 6 papers between 2003 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Towards formal specification and verification of a role-based authorization engine using JML.

Tanveer Mustafa, Michael Drouineaud, Karsten Sohr

Proceedings of the ICSE Workshop on Software Engineering for Secure Systems, 2010

2008

Analyzing and Managing Role-Based Access Control Policies.

Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn, Martin Gogolla

IEEE Trans. Knowl. Data Eng., 2008

Implementing Advanced RBAC Administration Functionality with USE.

Tanveer Mustafa, Karsten Sohr, Duc-Hanh Dang, Michael Drouineaud, Stefan Kowski

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

2005

Formal specification of role-based security policies for clinical information systems.

Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

2004

A First Step Towards Formal Verification of Security Policy Properties for RBAC.

Michael Drouineaud, Maksym Bortin, Paolo Torrini, Karsten Sohr

Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

2003

A temporal-logic extension of role-based access control covering dynamic separation of duties.

Till Mossakowski, Michael Drouineaud, Karsten Sohr

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003