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

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn 1999-January, Issue , 1999, Pages 269-

  Baek, Jusung ^a   Ramakrishna, R S ^b   Lee, Donk Lk ^b  

^a Mirae Corporation   (South Korea)

^b Gwangju Institute of Science and Technology (GIST)   (South Korea)

Author keywords

clone; detection protocol; Mobile agents; security

Indexed keywords

CLONING; NETWORK SECURITY;

AGENT SERVERS; CLONE; CORRECTNESS PROOFS; DETECTION PROTOCOLS; MOBILE AGENT SYSTEM; SECURITY;

MOBILE AGENTS;

EID: 0011451661     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/301308.301370     Document Type: Conference Paper

References (4)

1. William M. Farmer, Joshua D. Guttman, and Vipin Swamp. Security for Mobile Agents: Issues and Requirements, In Proceedings of the 19th NISSC, pages 591-597, Baltimore, Md., October 1996.
2. Markus Straser, Joachim Baumann, and Fritz Hohl. Mole - a Java based mobile agent system. In 2nd ECOOP Workshop on Mobile Object Systems, pages 28-35, Linz, Austria, July 1996.
3. Kurt Jensen, Coloured Petri Nets: Basic Concepts, Analysis Method and Practical Use, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1992.
4. JuSung Baek, R.S.Ramakrishna and Dong-Ik Lee: A Mobile Agent Clone Detection Protocol, (Paper underpreperation).