Update needham-schroeder_protocol.tex
Merge pull request #2103 from ViktorSuharev/patch-30

Update needham-schroeder_protocol.tex