Junhua Ding, Zhengfan Dai, Jiacun Wang, Xudong He. Formally modeling and analyzing a secure mobile agent finder. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Waikoloa, Hawaii, USA, October 10-12, 2005. pages 47-52, IEEE, 2005. [doi]
Abstract is missing.