Mobile agent protection and verification in the Internet environment | IEEE Conference Publication | IEEE Xplore