Protocols For Authentication and Key Establishment by Colin Boyd