MODELISATION ET VERIFICATION DE POLITIQUES DE SECURITE A LAIDE DE LA METHODE B Amal HADDAD 1 ère année de thèse INPG LSR-VASCO Directeurs : Mme. Marie-Laure.