Logic of authentication protocols

References

Read Carefully through page 77

1. Paul Syverson and Iliano Cervesato, The Logic of Authentication Protocols, in R. Focardi, R. Gorrieri (Eds.): Foundations of Security Analysis and Design, Lecture Notes in Computer Science, LNCS 2171, Springer-Verlag 2001.