Pseudonym-based anonymity zone generation for mobile service with strong adversary model.