Mike Just: Needham-Schroeder Protocols. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 829-831