Authentication by correspondence
Dieter Gollmann · IEEE Journal on Selected Areas in Communications · 2003
Correspondence properties capture authentication only indirectly. We trace the origin of correspondence in the analysis of authentication protocols and investigate to what extent correspondence actually corresponds to the various flavors of authentication.