Majumdarand Thomborson. Securing Mobile Agents Control Flow Using Opaque Predicates. Springer Berlin Heidelberg, 2005, doi:10.1007/11553939_149.