Media type: E-Book; Thesis Title: Abstracting cryptographic protocols Other titles: Übersetzung des Haupttitels: Die Abstraktion kryptographischer Protokolle Contributor: Mohammadi, Esfandiar [Author] Published: Saarbrücken, Oktober 2014 Extent: 1 Online-Ressource (xiv, 303 Seiten) Language: English Identifier: Keywords: Kryptologie ; Dechiffrierung ; Informationsloses Beweissystem ; Kommunikationsprotokoll ; Schlüsselaustauschprotokoll ; Hochschulschrift Origination: University thesis: Dissertation, Universität des Saarlandes, 2015 Footnote: Access State: Open Access