A Design of a Protocol for Detecting an Agent Clone in Mobile Agent Systems and its Correctness Proof. - Jusung Baek; R. S. Ramakrishna; Donk-Ik Lee (PODC, 1999)