Mohamed-Amine Labiadh

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 1

Top Topics

Access Control Policies

Security Policies

Top Venues

Int. J. Inf. Syst. Model. Des.

Publications

Yves Ledru, Akram Idani, Jérémy Milhau, Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh
Validation of IS Security Policies Featuring Authorisation Constraints. Int. J. Inf. Syst. Model. Des. 6 (1) (2015)
Yves Ledru, Akram Idani, Jérémy Milhau, Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh
Taking into Account Functional Models in the Validation of IS Security Policies. CAiSE Workshops (2011)
Jérémy Milhau, Akram Idani, Régine Laleau, Mohamed-Amine Labiadh, Yves Ledru, Marc Frappier
Combining UML, ASTD and B for the formal specification of an access control filter. Innov. Syst. Softw. Eng. 7 (4) (2011)
Yves Ledru, Nafees Qamar, Akram Idani, Jean-Luc Richier, Mohamed-Amine Labiadh
Validation of security policies by the animation of Z specifications. SACMAT (2011)
Akram Idani, Mohamed-Amine Labiadh, Yves Ledru
Infrastructure dirigée par les modèles pour une intégration adaptable et évolutive de UML et B. Ingénierie des Systèmes d Inf. 15 (3) (2010)
Akram Idani, Yves Ledru, Mohamed-Amine Labiadh
Ingénierie Dirigée par les Modèles pour une intégration efficace de UML et B. INFORSID (2009)