A Formal Approach to prevent Attacks on Mobile Agent Systems.
Monia LoulouMohamed TounsiAhmed Hadj KacemMohamed JmaielPublished in: SECURWARE (2007)
Keyphrases
- mobile agent system
- security mechanisms
- mobile agents
- fault tolerant
- security issues
- access control
- fault tolerance
- operating system
- resource constrained
- formal model
- watermarking scheme
- security requirements
- countermeasures
- load balancing
- communication networks
- digital images
- software engineering
- computer systems
- reinforcement learning
- sensor data
- intrusion detection