Voulez-vous effacer les recherches récentes ?

Toutes les recherches récentes seront supprimées

Regarder en plein écran

Démonstration de B4MSecure pour AFADL 2013

yledru
il y a 7 ans|281 vues
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

L'outil est disponible à l'URL suivant:

http://b4msecure.forge.imag.fr/

Vidéos à découvrir