Formally Modeling and analyzing a secure mobile agent finder Conference

Ding, JH, Dai, ZF, Wang, JC et al. (2005). Formally Modeling and analyzing a secure mobile agent finder . 47-52.

cited authors

  • Ding, JH; Dai, ZF; Wang, JC; He, XD

authors

date/time interval

  • October 10, 2005 -

publication date

  • January 1, 2005

webpage

keywords

  • Computer Science
  • Computer Science, Artificial Intelligence
  • Computer Science, Cybernetics
  • Science & Technology
  • Technology

Location

  • Waikoloa, HI

International Standard Book Number (ISBN) 10

Conference

  • IEEE International Conference on Systems, Man and Cybernetics

publisher

  • IEEE

start page

  • 47

end page

  • 52