Designing Secure Key Exchange Protocols.

Colin Boyd, Wenbo Mao

Browse the full ESORICS paper archive.