Mazen El Maarabani: Verification and test of interoperability security policies. (Vérification et test des politiques de sécurité d'interopérabilité). Telecom & Management SudParis, Évry, Essonne, France 2012