Analyzing the Needham-Schroeder Public-Key Protocol: A Comparison of Two Approaches.

Catherine A. Meadows

Browse the full ESORICS paper archive.