Foundations and Applications of Security Analysis

53.49 EUR

Das Werk präsentiert innovative Ansätze zur automatisierten Analyse von Sicherheitsprotokollen und untersucht theoretische Herausforderungen der Protokollverifikation, unterstützt durch anschauliche Fallstudien aus modernen Netzwerken.

Teilen: