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

Monia Loulou Ahmed Hadj Kacem Mohamed Jmaiel Mohamed Mosbah

Published in: CRiSIS (2008)

Keyphrases

mobile agent system
formal methods
mobile agents
asynchronous circuits
databases
multi agent
cooperative
digital libraries
distributed systems
lightweight
fault tolerant
formal model
formal specification