Jérémy Milhau

According to our database, Jérémy Milhau authored at least 11 papers between 2009 and 2015.

Collaborative distances:

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

2015

Validation of IS Security Policies Featuring Authorisation Constraints.

Yves Ledru, Akram Idani, Jérémy Milhau, Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh

Int. J. Inf. Syst. Model. Des., 2015

2014

Refinement patterns for ASTDs.

Marc Frappier, Frédéric Gervais, Régine Laleau, Jérémy Milhau

Formal Aspects Comput., 2014

2012

Refinement patterns for ASTD.

Jérémy Milhau, Frédéric Gervais, Régine Laleau, Marc Frappier

ACM SIGSOFT Softw. Eng. Notes, 2012

2011

Un processus formel d'intégration de politiques de contrôle d'accès dans les systèmes d'information. (A formal integration of access control policies into information systems).

Jérémy Milhau

PhD thesis, 2011

Combining UML, ASTD and B for the formal specification of an access control filter.

Jérémy Milhau, Akram Idani, Régine Laleau, Mohamed-Amine Labiadh, Yves Ledru, Marc Frappier

Innov. Syst. Softw. Eng., 2011

A Four-concern-oriented Secure IS Development Approach.

Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Pierre Konopacki, Régine Laleau, Jérémy Milhau, Richard St-Denis

Proceedings of the SECRYPT 2011 - Proceedings of the International Conference on Security and Cryptography, Seville, Spain, 18, 2011

A Metamodel of the B Modeling of Access-Control Policies: Work in Progress.

Jérémy Milhau, Marc Frappier, Régine Laleau

Proceedings of the Foundations and Practice of Security, 2011

Taking into Account Functional Models in the Validation of IS Security Policies.

Yves Ledru, Akram Idani, Jérémy Milhau, Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh

Proceedings of the Advanced Information Systems Engineering Workshops, 2011

2010

Systematic Translation Rules from astd to Event-B.

Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Model-driven Engineering of Functional Security Policies.

Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Pierre Konopacki, Régine Laleau, Jérémy Milhau, Richard St-Denis

Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8, 2010

2009

Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions.

Jérémy Milhau, Benoît Fraikin, Marc Frappier

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009