Monia Loulou Mohamed Tounsi Ahmed Hadj Kacem Mohamed Jmaiel A Formal Approach to prevent Attacks on Mobile Agent Systems. 42-47 2007 SECURWARE http://dx.doi.org/10.1109/SECUREWARE.2007.4385308 conf/securware/2007 db/conf/securware/securware2007.html#LoulouTKJ07