Media type: E-Book Title: Modeling Advanced Security Aspects of Key Exchange and Secure Channel Protocols Other titles: Modellierung fortgeschrittener Sicherheitsaspekte von Schlüsselaustausch- und sicheren Kanal-Protokollen Contributor: Günther, Felix [Author]; Fischlin, Marc [Degree supervisor]; Paterson, Kenneth G. [Degree supervisor] Published: Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2018 Extent: Online-Ressource Language: English Identifier: Origination: University thesis: Dissertation, Darmstadt, Technische Universität Darmstadt, 2018 Footnote: Access State: Open Access