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 . Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics, 47-52.

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