AFADLIdani2013

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.

Contact

Akram Idani
Yves Ledru
Mohamed-Amine Labiadh

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)