Concepedia

Michael Drouineaud

MD

5

Publications

174

Citations

5

H-Index

2004

Active since

Affiliations

University of Bremen(Current)

Michael Drouineaud is an author at University of Bremen specializing in data security, formal verification, and access control.

Top concepts

EngineeringCryptographyData SecurityAccess ControlFormal MethodsComputer ScienceFormal VerificationInformation SecurityData PrivacySoftware Analysis

Publications per year

2004–2008

5

Publications

5

Analyzing and Managing Role-Based Access Control Policies

Karsten Sohr, Michael Drouineaud, Gail‐Joon Ahn et al. · IEEE Transactions on Knowledge and Data Engineering · 2008 · 78 citations

Engineering, Information Security, Verification +22

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

Till Mossakowski, Michael Drouineaud, Karsten Sohr · 2004 · 31 citations

Engineering, Information Security, Execution History +28

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

Karsten Sohr, Michael Drouineaud, Gail‐Joon Ahn · 2005 · 27 citations

Clinical Information Systems, Engineering, Information Security +22

A first step towards formal verification of security policy properties for RBAC

Michael Drouineaud, Maksym Bortin, Paolo Torrini et al. · International Conference on Quality Software · 2004 · 27 citations

Engineering, Information Security, Verification +19

A first step towards formal verification of security policy properties for RBAC

Michael Drouineaud, Maksym Bortin, P. Torrini et al. · 2004 · 11 citations

Engineering, Information Security, Verification +19

Rows per page

1–5 of 5