Formal modeling and verification of secure mobile agent systems.
Mingyue JiangZuohua DingMengchu ZhouYuan ZhouPublished in: CASE (2015)
Keyphrases
- mobile agent system
- mobile agents
- fault tolerant
- distributed systems
- fault tolerance
- communication networks
- formal methods
- formal analysis
- cryptographic protocols
- security mechanisms
- formal model
- distributed computing
- integrity verification
- databases
- cost effective
- load balancing
- intelligent agents
- software engineering