Anirban Majumdar, Clark D. Thomborson. Securing Mobile Agents Control Flow Using Opaque Predicates. In Rajiv Khosla, Robert J. Howlett, Lakhmi C. Jain, editors, Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part III. Volume 3683 of Lecture Notes in Computer Science, pages 1065-1071, Springer, 2005. [doi]