Michael Drouineaud

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2010
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

2008
Analyzing and Managing Role-Based Access Control Policies.
IEEE Trans. Knowl. Data Eng., 2008

Implementing Advanced RBAC Administration Functionality with USE.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

2005
Formal specification of role-based security policies for clinical information systems.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

2004
A First Step Towards Formal Verification of Security Policy Properties for RBAC.
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.
Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003


  Loading...