@INPROCEEDINGS{LoulouSens07,
author = {Monia Loulou and Mohamed Tounsi and Ahmed Hadj Kacem and Mohamed Jmaiel
and Mohamed Mosbah},
title = {A Formal Approach to prevent Attacks on Mobile Agent Systems},
booktitle = {Proceedings of the International Conference on Emerging
Security Information, Systems and Technologies},
year = {2007},
pages = {42--47},
address = {Valencia, Spain},
publisher = {IEEE Computer Society},
keywords  = {MAS},
doi = {10.1109/SECUREWARE.2007.4385308}
}