Cette vidéo présente l'outil B4MSecure qui permet de spécifier un système d'information sur le plan fonctionnel et sur le plan de la sécurité. Le résultat de l'outil peut être animé avec ProB. Elle illustre l'article suivant: Akram Idani, Yves Ledru et Mohamed-Amine Labiadh "B4MSecure : une plateforme IDM pour la modélisation et la validation de politiques de sécurité en Systèmes d'Information" Actes de la conférence AFADL 2013, Nancy, 2013
