Authentication
February 23rd, 2007I’ve added some more content to e2 from the formal analysis of cryptographic protocols course I’m taking, related to the problem of authentication via shared secrets.
Authentication sets notation and discusses one-way identity verification such as central locking for cars. The challenge-response protocol and the replay attack are included.
Mutual authentication demonstrates the reflection attack on running challenge-response in both directions; three-pass mutual authentication is introduced to resolve this (at the price of some extra complexity).