Formaler Entwurf effizienter Authentisierungsprotokolle mit SchlüsselabspracheGunnar JacobsonAgotadoNotifícame