Cryptographic Protocol: Security Analysis Based on Trusted Freshness

"Cryptographic Protocol: Security Analysis Based on Trusted Freshness" von Kefei Chen behandelt die Sicherheitsanalyse kryptographischer Protokolle mit einem besonderen Fokus auf das Konzept der "Trusted Freshness". Das Buch untersucht, wie Frische-Informationen, also Daten, die sicherstellen, dass Nachrichten aktuell und nicht wiederverwendet sind, als vertrauenswürdige Elemente in der Protokollanalyse dienen können. Chen bietet einen detaillierten Überblick über verschiedene kryptographische Protokolle und analysiert deren Sicherheit unter Berücksichtigung von Frische-Konzepten. Der Autor entwickelt theoretische Modelle und praktische Ansätze zur Verbesserung der Sicherheitsgarantien und diskutiert potenzielle Schwachstellen sowie Methoden zu deren Behebung. Das Werk richtet sich an Forscher und Fachleute im Bereich der Kryptographie, die ein tieferes Verständnis für die Rolle von Frische in der Sicherung von Kommunikationsprotokollen erlangen möchten.