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.
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.