Securing Mobile Agents Control Flow Using Opaque Predicates.
Anirban MajumdarClark D. ThomborsonPublished in: KES (3) (2005)
Keyphrases
- mobile agents
- control flow
- workflow management systems
- data flow
- distributed systems
- client server
- mobile agent technology
- software testing
- process model
- agent technology
- intelligent agents
- mobile computing
- computing environments
- fault tolerance
- formal semantics
- mobile users
- mobile agent system
- information security
- business process models
- databases
- modeling language
- fault tolerant
- test suite
- middleware architecture