Analyse kryptographischer Protokolle mittels Produktnetzen basierend auf Modellannahmen der BAN-LogikCarsten RudolphAgotadoNotifícame