Formaler Entwurf effizienter Authentisierungsprotokolle mit Schlüsselabsprache - Jacobson, Gunnar (LINCOM EUROPA, 2000)