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

by M Backes, B Pfitzmann
Venue:In Proc. 23rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS