An efficient remote anonymous authentication scheme with user revocation