Sicherheit kryptographischer Protokolle. - Ralf Handl (1993)