A novel privacy preserving authentication and access control scheme for pervasive computing environments
A logic of authentication