Protocols for authentication and key establishment - Boyd, Colin (Springer, 2003)