Formally modeling and analyzing a secure mobile agent finder | IEEE Conference Publication | IEEE Xplore