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