Analyse kryptographischer Protokolle mittels Produktnetzen basierend auf Modellannahmen der BAN-LogikCarsten RudolphVyprodánoPohlídat
