Gürgens, S.S.Gürgens2022-03-032022-03-031999https://publica.fraunhofer.de/handle/publica/196363en005004Security analysis of authentication protocols - a formal approachbook article