Secure protocol transformation via “expansion”
Alain J. Mayer, Moti M. Yung · 1999
The design of simple cryptographic protocols for elementary two-party (session oriented) tasks (such as entity authentication and key transport) has had a history (starting with [NS78]) where security has been quite evasive. Only recently we have seen protocol designs which are both provably secure and efficient