Secure and private service discovery in pervasive computing environments