"where H is a keyed one-way hash function, and R1 is the random number selected by the base station." . . . .