A formal security framework for mobile agent systems: Specification and verification.

Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Mohamed Mosbah

Browse the full CRiSIS paper archive.