Mohamed-Amine Labiadh

According to our database, Mohamed-Amine Labiadh authored at least 6 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

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

Validation of security policies by the animation of Z specifications.

Yves Ledru, Nafees Qamar, Akram Idani, Jean-Luc Richier, Mohamed-Amine Labiadh

Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 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

Infrastructure dirigée par les modèles pour une intégration adaptable et évolutive de UML et B.

Akram Idani, Mohamed-Amine Labiadh, Yves Ledru

Ingénierie des Systèmes d Inf., 2010

2009

Ingénierie Dirigée par les Modèles pour une intégration efficace de UML et B.

Akram Idani, Yves Ledru, Mohamed-Amine Labiadh

Proceedings of the Actes du XXVIIème Congrès INFORSID, Toulouse, France, 26-29 mai 2009, 2009