Protecting users' anonymity in pervasive computing environments