Gürgens, S.S.Gürgens2022-03-092022-03-091996https://publica.fraunhofer.de/handle/publica/327632ensecurity analysiscryptographic protocolauthentication logiccryptographyformal modelprotocol005004A formal analysis technique for authentication protocolsconference paper