Locality abstractions and security models in a mobile agent environment | IEEE Conference Publication | IEEE Xplore