A semantic model for authentication protocols

Thomas Y. C. Woo, Simon S. Lam. A semantic model for authentication protocols. In 1993 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, USA, May 24-26, 1993. pages 178-194, IEEE Computer Society, 1993. [doi]

Abstract

Abstract is missing.