There's a reason Needham–Schroeder isn't used any more - Tim Muller demonstrates the weakness in the technique.
