Detecting and Proving Manipulation Attacks in Mobile Agent Systems | Publicación