Pseudonym-based anonymity zone generation for mobile service with strong adversary model | IEEE Conference Publication | IEEE Xplore