Colin Boyd Wenbo Mao Designing Secure Key Exchange Protocols. 93-105 1994 conf/esorics/1994 ESORICS http://dx.doi.org/10.1007/3-540-58618-0_58 db/conf/esorics/esorics1994.html#BoydM94