According to our database1, Michael Drouineaud authored at least 6 papers between 2003 and 2010.
Legend:Book In proceedings Article PhD thesis Other
Towards formal specification and verification of a role-based authorization engine using JML.
Proceedings of the ICSE Workshop on Software Engineering for Secure Systems, 2010
IEEE Trans. Knowl. Data Eng., 2008
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
Formal specification of role-based security policies for clinical information systems.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004
A temporal-logic extension of role-based access control covering dynamic separation of duties.
Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003