@PHDTHESIS{monialoulou,
  author = {Monia Loulou},
  title = {{Approche Formelle pour la Spécification, la V\'erification
                  et le D\'eploiement des Politiques de S\'ecurit\'e
                  Dynamiques dans les Syst\`emes     base d'Agents
                  Mobiles}},
  school = {Université de Sfax},
  year = {2010},
  month = {November},
}