Protocols for Authentication and Key Establishment - Boyd, Colin (Springer Berlin Heidelberg, 2020)