Formal Methods in the Enhancement of the Data Security Protocols of Mobile Agents.

Raja Al-Jaljouli

Published in: AICCSA (2006)

Keyphrases

mobile agents
formal methods
sensor data
databases
data streams
low cost
computer systems
anomaly detection
end to end
security properties