A Lesson on Authentication Protocol Design

Thomas Y. C. Woo, Simon S. Lam. A Lesson on Authentication Protocol Design. Operating Systems Review, 28(3):24-37, 1994.