Das kann Hagen z.B. bei Verwendung von Public Key Verfahren mathematisch sicher nachweisen. Und ich hab den Beweis in meiner Datensicherheitsvorlesung auch schonmal nachrechnen dürfen - auch wenn ich es jetzt nicht mehr könnte
Bei zero Knowledge Protokollen geht das auch ohne einen Schlüsseltausch. Dort wird kein Wissen übertragen was ein man in the middle nutzen könnte, dennoch kann ich meinem Gegenüber definitiv beweisen, dass ich ein Geheimnis kenne (bzw. eine bestimmte Person bin, bei der sichergestellt ist, dass nur diese das Geheimnis kennt).