A design of a protocol for detecting an agent clone in mobile agent systems and its correctness proof

• Authors:

• Jusung Baek;R. S. Ramakrishna;Donk-Ik Lee

• Affiliations:

• Mirae Co. SoftForum, #1206, KSE New Bldg. 33 Yoido, Yongdungpo, Seoul, Korea;Dept. of Info.&Comm., KJIST, 1 Oryong-dong, Puk-gu, KwangJu, Korea;Dept. of Info.&Comm., KJIST, 1 Oryong-dong, Puk-gu, KwangJu, Korea

• Venue:
• Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
• Year:
• 1999