@INPROCEEDINGS{Fatma20141,
  author = {Fatma Masmoudi and Monia Loulou and Ahmed Hadj Kacem},
  title = {Formal Security Framework For Agent Based Cloud Systems},
  booktitle = {3rd IEEE International Workshop on Advanced Information Systems for
	Enterprises (IWAISE'14)},
  year = {2014},
  month = {November}
}