Protocols for Authentication and Key Establishment - Colin Boyd, Anish Mathuria, Douglas Stebila (Springer, 2020)