A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol (0)

by Michael Backes, Birgit Pfitzmann
Venue:Journal on Selected Areas in Communications