Mike Just: Needham-Schroeder Protocols. Encyclopedia of Cryptography and Security 2005