□ Protocols for Authentication and Key Establishment by Colin Boyd and Anish Mathuria (Springer, 2003)