Analyse kryptographischer Protokolle. - Jochen Schober (Shaker, 1998)