Provably secure entity authentication the three party case. - Ali M. Allam 001; Ibraliim I. Ibrahim; Ihab A. Ali; Abdel-Rahman H. El-Sawy (ISCC, 2004)