Michael Drouineaud
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2003–2010
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ICSE | Towards formal specification and verification of a role-based authorization engine using JML. | Tanveer Mustafa, Michael Drouineaud, Karsten Sohr |
| 2005 | SAC | Formal specification of role-based security policies for clinical information systems. | Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn |
| 2003 | TIME | A temporal-logic extension of role-based access control covering dynamic separation of duties. | Till Mossakowski, Michael Drouineaud, Karsten Sohr |