Efficient and Reliable Pseudonymous Authentication