Verlag GMD-Forschungszentrum InformationstechnikCarsten Rudolph × Analyse kryptographischer Protokolle mittels Produktnetzen basierend auf Modellannahmen der BAN-Logik Carsten RudolphGMD-Forschungszentrum InformationstechnikBuch19987,50 €