Sicherheitsanalyse von Authentifizierungsprotokollen-model checking mit dem SH-Verification Tool
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Gülüm Basak
Stimmen zu »Sicherheitsanalyse von Authentifizierungsprotokollen-model checking mit dem SH-Verification Tool«
Details
ISBN: 9783884573686
Verlag: GMD-Forschungszentrum Informationstechnik
Erscheinung: 1999