Akram Idani, Yves Ledru, Mohamed-Amine Labiadh. B4MSecure : une plateforme IDM pour la modélisation et la validation de politiques de sécurité en Systèmes d'Information (démo). In Actes de la Conférence AFADL'13: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 85-89, Nancy, 2013.
Akram Idani
Yves Ledru
Mohamed-Amine Labiadh
@InProceedings{AFADLIdani2013,
Author = {Idani, Akram and Ledru, Yves and Labiadh, Mohamed-Amine},
Title = {{B4MS}ecure : une plateforme {IDM} pour la modélisation et la validation de politiques de sécurité en Systèmes d'Information (démo)},
BookTitle = {Actes de la Conférence {AFADL'13}: {A}pproches {F}ormelles dans l'{A}ssistance au {D}éveloppement de {L}ogiciels},
Pages = {85--89},
Address = {Nancy},
Year = {2013}
}
Charger la référence EndNote (.ref)